|
Failed to load latest commit information. |
|
doc/img
|
Create webgraphviz,com
|
Mar 23, 2018
|
|
|
hcomp
|
H_space
|
Aug 3, 2018
|
|
|
priv
|
cubical
|
Aug 29, 2018
|
|
|
src
|
om axioms as endofunctors
|
Dec 28, 2017
|
|
|
.gitignore
|
stop commiting history.txt with .gitignore
|
Apr 20, 2018
|
|
|
.travis.yml
|
yaml travis
|
Jun 19, 2018
|
|
|
README.md
|
Update README.md
|
Apr 5, 2018
|
|
|
course.txt
|
Functional Programming Course
|
Apr 8, 2018
|
|
|
langdef.cloc
|
cloc language definitions for CubicalTT and Lean
|
Nov 19, 2017
|
|
|
mad
|
new mad
|
Dec 25, 2017
|
|
|
rebar.config
|
om axioms as endofunctors
|
Dec 28, 2017
|
|
|
sys.config
|
new mad
|
Dec 25, 2017
|
|
|
vm.args
|
new mad
|
Dec 25, 2017
|