edwinb / Idris2-boot

A dependently typed programming language, a successor to Idris
902Updated 4 years ago

Related projects

Alternatives and complementary repositories for Idris2-boot