There is a
Makefile provided with every exercise, so it is sufficient to simply run
Makefile mentioned above is just a wrapper around the
idris executable, which has some simple package management stuff built in.
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.