Exercism problems in Idris.
Document how to contribute to the Idris track.
Please see the contributing guide
ktosiek/idris
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|
Repository files navigation
Releases
No releases published
Languages
- Idris 51.9%
- Shell 36.7%
- Makefile 11.4%