projects / cubicaltt.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 48b40fc) | patch
added hopf fibration
authorcoquand <coquand@chalmers.se>
Wed, 29 Apr 2015 10:28:10 +0000 (12:28 +0200)
committercoquand <coquand@chalmers.se>
Wed, 29 Apr 2015 10:28:10 +0000 (12:28 +0200)
commitb415b803449a44ddfef3b35e22076a321d15bc70
treeabb0686a192932e4c527a17a79e5d09fba5b37aftree | snapshot
parent48b40fcc053d14fd63d204083eef6b062a14b609commit | diff
added hopf fibration
examples/hopf.ctt [new file with mode: 0644] blob
examples/mult.ctt diff | blob | blame | history
My fork of cubicaltt with web interface using Reflex.