]> git.xn--bdkaa.com Git - cubicaltt-web.git/commit
projects / cubicaltt-web.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f46bf2a) | patch
rename Eq to Id
authorAnders Mörtberg <andersmortberg@gmail.com>
Tue, 26 Jul 2016 14:53:35 +0000 (16:53 +0200)
committerAnders Mörtberg <andersmortberg@gmail.com>
Fri, 29 Jul 2016 09:45:58 +0000 (11:45 +0200)
commit0792d7900ab6713851c8d80576d1fdecde9189c5
tree96031bc09c1b92bb9d4dd470f66317983946475atree | snapshot
parentf46bf2a644a196876074f8703a88e7ebd00a93a5commit | diff
rename Eq to Id
CTT.hs diff | blob | history
Eval.hs diff | blob | history
Exp.cf diff | blob | history
Resolver.hs diff | blob | history
TypeChecker.hs diff | blob | history
examples/eq.ctt diff | blob | history
My fork of cubicaltt with web interface using Reflex.