I don't trust the new evaluator under binders yet...
I don't trust the new evaluator under binders yet...

Ignore-this: d5b9762d2a79333f40c30b72d445ae05

darcs-hash:20090727015526-228f4-39f71fcacf79990ec9b6ad4200f818634c6fa841.gz

avsm/Idris