]> git.xn--bdkaa.com Git - cubicaltt-web.git/commit
projects / cubicaltt-web.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: cd18e82) | patch
move neutrality test in app of a split to a composition
authorSimon Huber <hubsim@gmail.com>
Mon, 4 May 2015 09:27:37 +0000 (11:27 +0200)
committerSimon Huber <hubsim@gmail.com>
Mon, 4 May 2015 09:27:37 +0000 (11:27 +0200)
commit3b8b9c8a2f6541cb4047e163060050f909e618fd
tree8ea1c3c9daa9ae57e5d5eb9df3a1190fa478c7f9tree | snapshot
parentcd18e82f6c8ddb7652e009b1cd998241184c19e4commit | diff
move neutrality test in app of a split to a composition
Eval.hs diff | blob | history
My fork of cubicaltt with web interface using Reflex.