Edwin Brady - Idris 2: Type-driven development of Idris | Code Mesh LDN 18
Code Sync · 43:23 · Watch on YouTube
Idris 2 is a self-hosted pure functional language built around first-class types and Quantitative Type Theory, letting you compute types from values, erase compile-time indices, and enforce single-use resources so the...