]> git.xn--bdkaa.com Git - cubicaltt-web.git/commit
projects / cubicaltt-web.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 26a03d7) | patch
rename visible to transparent and fix printing of glue
authorAnders Mörtberg <andersmortberg@gmail.com>
Thu, 7 Jul 2016 14:14:51 +0000 (16:14 +0200)
committerAnders Mörtberg <andersmortberg@gmail.com>
Thu, 7 Jul 2016 14:14:51 +0000 (16:14 +0200)
commit371e1dc0eb956858344091339d87d6e9c6b50efb
tree49933f3cdf6f3e5ec1630d27623593d70b9ca825tree | snapshot
parent26a03d760275690cac1e79451f892a7e36e68eb7commit | diff
rename visible to transparent and fix printing of glue
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/torsor.ctt diff | blob | history
My fork of cubicaltt with web interface using Reflex.