idris-lang/Idris-dev — pull request #1358 by ahmadsalim (2014-07-04 18:31:59+00:00)
Title: Added some additional documentation for partial evaluation

I have tried documenting the partial evaluation module in order to aid my understanding of it.
Hopefully, my documentation would help other people understand it (and not be totally misleading).