https://github.com/simhu/cubical
Tip revision: 53bab8a89246ec658d4a6436534242d0ce15eb35 authored by Simon Huber on 17 March 2015, 13:35:06 UTC
bugfix in Kan Fill VU Case 5
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 |
