projects / cubicaltt.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 60996d8) | patch
make subset compile using opaque
authorAnders Mörtberg <andersmortberg@gmail.com>
Thu, 7 Jul 2016 12:06:08 +0000 (14:06 +0200)
committerAnders Mörtberg <andersmortberg@gmail.com>
Thu, 7 Jul 2016 12:06:08 +0000 (14:06 +0200)
commit05170941ab091494f02692ab69a0d5204bd2881b
treebd8c585403e418924b21874081d0f082530e228btree | snapshot
parent60996d8cad3383589b1d06c6a1a9fff5e2a6cbedcommit | diff
make subset compile using opaque
examples/injective.ctt diff | blob | blame | history
examples/pi.ctt diff | blob | blame | history
examples/sigma.ctt diff | blob | blame | history
examples/subset.ctt diff | blob | blame | history
My fork of cubicaltt with web interface using Reflex.