Efficient @@ for fresh names
authorSimon Huber <hubsim@gmail.com>
Mon, 14 Dec 2015 15:14:36 +0000 (16:14 +0100)
committerSimon Huber <hubsim@gmail.com>
Mon, 14 Dec 2015 15:14:36 +0000 (16:14 +0100)
commit29c2435aa657ae9b37d0a5843bfcc4e95f0fd6d6
tree4dfa87946ff927bb14ea0d4182b5568efc67a0b6
parent8c2d027a4a5353b67af363bb4250f9e38b08132d
Efficient @@ for fresh names

We don't have to call act if the name is fresh.
Eval.hs