idris-lang/Idris-dev — pull request #1679 by edwinb (2014-10-26 17:41:50+00:00)
Title: Partial evaluation improvements

Better names for generated definitions, and transformation rule fix.