https://github.com/exercism/idris
Exercism exercises in Idris.
https://github.com/exercism/idris
community-contributions-paused exercism-track unmaintained
Last synced: 8 months ago
JSON representation
Exercism exercises in Idris.
- Host: GitHub
- URL: https://github.com/exercism/idris
- Owner: exercism
- License: mit
- Created: 2016-06-27T21:02:37.000Z (almost 10 years ago)
- Default Branch: main
- Last Pushed: 2024-04-25T07:06:03.000Z (about 2 years ago)
- Last Synced: 2024-05-01T11:25:19.065Z (about 2 years ago)
- Topics: community-contributions-paused, exercism-track, unmaintained
- Language: Idris
- Homepage: https://exercism.org/tracks/idris
- Size: 146 KB
- Stars: 29
- Watchers: 13
- Forks: 17
- Open Issues: 6
-
Metadata Files:
- Readme: README.md
- License: LICENSE
- Code of conduct: CODE_OF_CONDUCT.md
- Codeowners: .github/CODEOWNERS
Awesome Lists containing this project
README
# Exercism Idris Track
Exercism exercises in Idris.
## Contributing
Please see the [contributing guide](https://exercism.org/docs/building).
If you wish to work on this track, please post in the [Exercism Community Forum](https://forum.exercism.org/) to discuss it with the team.
## Testing
To test the exercises, run `./bin/test`.
This command will iterate over all exercises and check to see if their exemplar/example implementation passes all the tests.