Error
Looks like something went wrong!

About

Exercism exercises in Idris.

exercism.io/languages/idris

Code of conduct

Report repository

Releases

No releases published

Packages

No packages published

Languages

Idris 63.5%
Shell 22.6%
Makefile 13.9%