]> git.xn--bdkaa.com Git - cubicaltt-web.git/commit
projects / cubicaltt-web.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8c2d027) | patch
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
tree4dfa87946ff927bb14ea0d4182b5568efc67a0b6tree | snapshot
parent8c2d027a4a5353b67af363bb4250f9e38b08132dcommit | diff
Efficient @@ for fresh names

We don't have to call act if the name is fresh.
Eval.hs diff | blob | history
My fork of cubicaltt with web interface using Reflex.