idris-lang/idris-tutorial — pull request #26 by artella-coding (2014-05-05 13:35:10+00:00)
Title: adding comments on C codegen

Expanding notes to include additional detail mentioned in post https://groups.google.com/forum/#!msg/idris-lang/9WTV1zlUZJM/C6DVHaSdlcYJ