idris-lang/Idris-dev — pull request #1469 by defanor (2014-08-12 00:12:06+00:00)
Title: commented BC in Bytecode.hs

Added (and fixed a little) the comments. Not sure if they are accurate, but more comprehensive at least.