edwinb / Idris-old

A language with dependent types
19Updated 13 years ago

Related projects

Alternatives and complementary repositories for Idris-old