idris-lang/Idris-dev — pull request #793 by trillioneyes (2014-01-22 20:56:20+00:00)
Title: Core.TT documentation

I've added a bunch of explanatory comments to `Core.TT`, including some haddock comments and some source-only comments that explain the mnemonics behind various names. Unless I did something very wrong, nothing should be functionally different.