idris
idris copied to clipboard
Published
20 hours ago •
exercism
exercism
Exercism exercises in Idris.
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.
exercism