/Idris2

A purely functional programming language with first class types

Primary LanguageSchemeOtherNOASSERTION

No issues in this repository yet.