edwinb/Idris-dev — pull request #169 by bishboria (2013-01-27 19:52:44+00:00)
Title: Adding Functor instance for Eval in §4.4 of the tutorial

Without the Functor instance of Eval, the repl was complaining that it couldn't resolve type class Monad Eval.