forked from idris-lang/Idris2
-
Notifications
You must be signed in to change notification settings - Fork 0
Pull requests: isomorphisms/Idric
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
Restore environment_value after source layout change
#67
opened Sep 2, 2026 by
isomorphisms
Owner
Loading…
Add exact units, signed time, and interval type-system core
#44
opened Aug 29, 2026 by
isomorphisms
Owner
Loading…
Make descriptive I/O names primary in the prelude
#19
opened Aug 26, 2026 by
isomorphisms
Owner
•
Draft
ProTip!
Mix and match filters to narrow down what you’re looking for.