idris-lang / Idris2
A purely functional programming language with first class types
See what the GitHub community is most excited about today.
A purely functional programming language with first class types
Velo is a tiny language (STLC + Hutton's Razor with Bools) to showcase & explore efficient verified implementations in Idris2.