Eval.lhs 4.25 KB