idris-lang/Idris-dev — pull request #1038 by david-christiansen (2014-04-07 07:20:03+00:00)
Title: Support for typed laziness in executor

Fixes #1013.