Velo is a tiny language (STLC + Hutton's Razor with Bools) to showcase & explore efficient verified implementations in Idris2.
Primary LanguageIdrisBSD 3-Clause Clear LicenseBSD-3-Clause-Clear