John Ericson 45052c02a8 agda: Replace eval with runHook ...

This is what haskell-ng does, so I figure it is the right thing to
do.

2015-05-17 20:15:09 -04:00

..

default.nix

agda: Replace eval with runHook

2015-05-17 20:15:09 -04:00