/idris101

Learning project by a group of people interested in learning the Idris language

The UnlicenseUnlicense

Stargazers

No one’s star this repository yet.