jfdm / velo-langLinks

Velo is a tiny language (STLC + Hutton's Razor with Bools) to showcase & explore efficient verified implementations in Idris2.
16Updated 2 years ago

Alternatives and similar repositories for velo-lang

Users that are interested in velo-lang are comparing it to the libraries listed below

Sorting: