]> git.xn--bdkaa.com Git - cubicaltt-web.git/commit
projects / cubicaltt-web.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9dcb73b) | patch
Added Eq types with definitional equality for J
authorSimon Huber <hubsim@gmail.com>
Mon, 31 Aug 2015 14:19:16 +0000 (16:19 +0200)
committerAnders Mörtberg <andersmortberg@gmail.com>
Fri, 29 Jul 2016 09:45:58 +0000 (11:45 +0200)
commit63d12c97842bc9c6692b928a9b31050cae709a1a
tree9022ecd199ece704ea94475337acb60bba7c76dftree | snapshot
parent9dcb73ba0bdd186cebb9672e9924636db4debca5commit | diff
Added Eq types with definitional equality for J
CTT.hs diff | blob | history
Connections.hs diff | blob | history
Eval.hs diff | blob | history
Exp.cf diff | blob | history
Resolver.hs diff | blob | history
TypeChecker.hs diff | blob | history
My fork of cubicaltt with web interface using Reflex.