|
Failed to load latest commit information. |
|
examples
|
Added eta expansion for constructors
|
Jun 5, 2014
|
|
|
notes
|
Added allprim
|
Mar 3, 2014
|
|
|
.gitignore
|
Add dist/ and Exp/ to .gitignore
|
Feb 1, 2014
|
|
|
CTT.hs
|
Cleaning
|
May 10, 2014
|
|
|
Concrete.hs
|
Added eta expansion for constructors
|
Jun 5, 2014
|
|
|
Eval.hs
|
bugfix in Kan Fill VU Case 5
|
Mar 17, 2015
|
|
|
Exp.cf
|
Added help and debug flag.
|
Apr 27, 2014
|
|
|
LICENSE
|
Added a license and cabal build file.
|
Dec 19, 2013
|
|
|
Main.hs
|
remove unnecessary "hiding"
|
Jun 26, 2014
|
|
|
Makefile
|
Added debug compiler flag
|
May 11, 2014
|
|
|
Pretty.hs
|
Improved Pretty and simplified code to pretty print terms and values
|
Jan 15, 2014
|
|
|
README.md
|
Update README.md
|
Sep 19, 2014
|
|
|
Setup.hs
|
Fixed cabal config
|
Apr 7, 2014
|
|
|
TODO
|
update TODO
|
Apr 1, 2014
|
|
|
Tests.hs
|
Fixed a stupid bug and cleaned examples
|
May 19, 2014
|
|
|
TypeChecker.hs
|
Fixed a stupid bug and cleaned examples
|
May 19, 2014
|
|
|
cubical.cabal
|
Added debug compiler flag
|
May 11, 2014
|
|
|
cubical.el
|
Remove duplicate keyword `data` in `cubical.el`
|
May 30, 2014
|