edwinb/Idris-dev — pull request #288 by david-christiansen (2013-04-24 11:45:08+00:00)
Title: Rewrite of executor; handles typeclasses, I/O, FFI, laziness

All tests pass on both (my particular setup of) Mac OS X and on Ubuntu, at least.