ToJans / idris101

Learning project by a group of people interested in learning the Idris language
50Updated 9 years ago

Related projects

Alternatives and complementary repositories for idris101