]> git.xn--bdkaa.com Git - cubicaltt-web.git/commit
projects / cubicaltt-web.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 97c1fb4) | patch
Elimination principle for set truncation
authorAnders <mortberg@chalmers.se>
Thu, 23 Apr 2015 15:04:00 +0000 (17:04 +0200)
committerAnders <mortberg@chalmers.se>
Thu, 23 Apr 2015 15:04:25 +0000 (17:04 +0200)
commitd3d379d409da3e43543e1869915e07aea893b323
tree0a34248c737a6c34dfe59e2c491af3300012e17dtree | snapshot
parent97c1fb49dd36e19e795e4faf9d05c13d1f7b282ecommit | diff
Elimination principle for set truncation
examples/set.ctt [new file with mode: 0644] blob
examples/setTrunc.ctt diff | blob | history
My fork of cubicaltt with web interface using Reflex.