]> git.xn--bdkaa.com Git - cubicaltt-web.git/commit
projects / cubicaltt-web.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: df7bb77) | patch
Started adapting for the non-regular setting (wip)
authorSimon Huber <hubsim@gmail.com>
Tue, 2 Jun 2015 13:03:56 +0000 (15:03 +0200)
committerSimon Huber <hubsim@gmail.com>
Tue, 2 Jun 2015 15:44:15 +0000 (17:44 +0200)
commit7ad3c515569e7b6ff1f551100253b4b916f8c03f
treeb8ccb17b7672d04a53da332a1ba46b245866c2a2tree | snapshot
parentdf7bb7712f1fd0161557f9751aaa5c71830e1e32commit | diff
Started adapting for the non-regular setting (wip)
CTT.hs diff | blob | history
Eval.hs diff | blob | history
My fork of cubicaltt with web interface using Reflex.