Idris Save
Exercism exercises in Idris.
Project README
Exercism Idris Track
Status
Some work has been done to configure this track, and there are 5 implemented practice exercises.
If you wish to work on this track, please post in the Exercism Community Forum to discuss it with the team.
Open Source Agenda is not affiliated with "Idris" Project. README Source: exercism/idris
Stars
29
Open Issues
6
Last Commit
3 weeks ago
Repository
License
Homepage
Open Source Agenda Badge
