idris-lang/Idris-dev — pull request #1238 by melted (2014-05-18 14:26:17+00:00)
Title: A little bit CodegenC cleaning

Looking a lot at generated code right now :-)