projects / cubicaltt.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1cd76f8) | patch
Add direct proof that s2 is trivial (for the HIT definition of S2)
authorAnders <mortberg@chalmers.se>
Mon, 18 May 2015 09:29:02 +0000 (11:29 +0200)
committerAnders <mortberg@chalmers.se>
Mon, 18 May 2015 09:29:02 +0000 (11:29 +0200)
commitdf7bb7712f1fd0161557f9751aaa5c71830e1e32
tree75c04b293e9fecd46f604103d309b7a9c7efc3abtree | snapshot
parent1cd76f81f0dcd90ceb9708092e1971c0d2611b2acommit | diff
Add direct proof that s2 is trivial (for the HIT definition of S2)
examples/s2.ctt diff | blob | blame | history
My fork of cubicaltt with web interface using Reflex.