GNU Make

There is a Makefile provided with every exercise, so it is sufficient to simply run

1
make

Idris-PKG

The Makefile mentioned above is just a wrapper around the idris executable, which has some simple package management stuff built in.

1
idris --testpkg *.ipkg

Help us explain this better! File a GitHub issue at https://github.com/exercism/idris/issues if you have suggestions, or submit a patch with improvements to the https://github.com/exercism/idris/blob/master/docs/TESTS.md file.