]> git.xn--bdkaa.com Git - cubicaltt-web.git/commit
projects / cubicaltt-web.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9da12cd) | patch
an example of normal form
authorcoquand <coquand@chalmers.se>
Wed, 30 Dec 2015 10:13:46 +0000 (11:13 +0100)
committercoquand <coquand@chalmers.se>
Wed, 30 Dec 2015 10:13:46 +0000 (11:13 +0100)
commit1734296b471973ea149eb857b8249206f4930b3b
tree62a89438762a80b383f53c495c596f610cff4670tree | snapshot
parent9da12cd5f777c8c12b2504fc4ad0d3d06efd9524commit | diff
an example of normal form
examples/testContr.ctt diff | blob | history
My fork of cubicaltt with web interface using Reflex.