Use idris-testing - Githubissues

exercism / idris

Exercism exercises in Idris.

https://exercism.org/tracks/idris

MIT License

32 stars 18 forks source link

Closed NobbZ closed 6 years ago

NobbZ commented 7 years ago

Implement the tests using idris-testing.

[x] install idris testing on Travis
[X] Implement each test using it
- [X] hello-world
- [X] leap
- [X] hamming
[x] update documentation
- [x] installing idris and idris-testing and how to keep testing up to date
- [x] how to run the tests

This PR assumes that #22 will be merged and is based on it.

yurrriq commented 6 years ago

Lies. I did it again...