[Agda] Failed type checking of standard lib after removed eta-contraction of function bodies in `Def.hs'

[Dirk Ullrich]

2010/11/16 Andreas Abel <andreas.abel at ifi.lmu.de>:
> I undid my fix for issue 361, the library should compile again.
[...]
Indeed - now I can typecheck whole Agda Standard Lib again.

Thanks
Dirk