idris-lang/Idris-dev — pull request #1551 by Helkafen (2014-09-25 16:01:42+00:00)
Title: Benchmarks

- A new benchmark (pidigits) from the benchmark game, which exhibits poor memory usage.
- A patch to remove some warnings that were bugging me when building the benchmark directory. idris --clean *.ipkg was trying to delete nonexistent files.