idris-lang/Idris-dev — pull request #1552 by Helkafen (2014-09-25 17:06:48+00:00)
Title: Benchmarks

A new benchmark (pidigits) from the benchmark game, which exhibits poor memory usage. With some documentation.
The reference Haskell version runs in almost constant space.