Purely functional programming language with first class types
This update has been submitted for testing by petersen.
This update's test gating status has been changed to 'ignored'.
This update has been obsoleted by idris2-0.7.0-4.fc42.
Please log in to add feedback.
Confirm request to re-trigger tests.
This update has been submitted for testing by petersen.
This update's test gating status has been changed to 'ignored'.
This update has been obsoleted by idris2-0.7.0-4.fc42.