idris-lang/Idris-dev — pull request #887 by raichoo (2014-02-13 19:46:30+00:00)
Title: Typed laziness

Fixes for the JS Codegen