idris-lang/Idris-dev — pull request #1608 by edwinb (2014-10-08 20:56:25+00:00)
Title: Be free of malloc

It was intended to do something, but does nothing but confuse people who
wonder why it's there...