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
Fix Unicode case branches with layout-sensitive do bodies
#55
opened Aug 31, 2026 by
isomorphisms
Owner
•
Draft
Emit checked R128 one-step artifacts for direct backends
#50
opened Aug 30, 2026 by
isomorphisms
Owner
•
Draft
Fix Float16 bootstrap totality through carrier division
#48
opened Aug 29, 2026 by
isomorphisms
Owner
•
Draft
Test exact high-dimensional rotations and reflections
#47
opened Aug 29, 2026 by
isomorphisms
Owner
Loading…
Compile higher-math constraints and typed contraction against Edric
#46
opened Aug 29, 2026 by
isomorphisms
Owner
Loading…
Add linear geometry, sphere, SO(n), and quaternion type core
#45
opened Aug 29, 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
Coerce Idriç floating requests to Float16 with warnings
#6
opened Aug 24, 2026 by
isomorphisms
Owner
•
Draft
ProTip!
Filter pull requests by the default branch with base:Idriç.