https://github.com/simhu/cubical
History
Tip revision: 53bab8a89246ec658d4a6436534242d0ce15eb35 authored by Simon Huber on 17 March 2015, 13:35:06 UTC
bugfix in Kan Fill VU Case 5
Tip revision: 53bab8a
File Mode Size
examples
notes
.gitignore -rw-r--r-- 28 bytes
CTT.hs -rw-r--r-- 25.9 KB
Concrete.hs -rw-r--r-- 9.7 KB
Eval.hs -rw-r--r-- 34.1 KB
Exp.cf -rw-r--r-- 1.7 KB
LICENSE -rw-r--r-- 1.1 KB
Main.hs -rw-r--r-- 5.9 KB
Makefile -rw-r--r-- 438 bytes
Pretty.hs -rw-r--r-- 711 bytes
README.md -rw-r--r-- 9.9 KB
Setup.hs -rw-r--r-- 586 bytes
TODO -rw-r--r-- 761 bytes
Tests.hs -rw-r--r-- 4.4 KB
TypeChecker.hs -rw-r--r-- 6.9 KB
cubical.cabal -rw-r--r-- 1.2 KB
cubical.el -rw-r--r-- 1.9 KB

README.md

back to top