cubicaltt.git
2015-12-29 coquandupdated multS1
2015-12-29 coquandcircle now works with this version of univalence
2015-12-27 coquandchanged compU
2015-12-27 coquandsimple tests for univalence
2015-12-27 coquandneutral for compU
2015-12-26 coquandMakefile
2015-12-26 coquandother proof of univalence
2015-12-26 coquandcorrected Eval
2015-12-26 coquandan example where we type-checked a normal form
2015-12-26 coquandproof of univalence?
2015-12-26 coquandunivalence
2015-12-26 coquandproof of univalence
2015-12-17 Simon HuberFixed eqToEquiv
2015-12-16 Simon HuberSwitched back to equiv, simplified glue
2015-12-15 Simon HuberBugfix for type checking glueElems by Fabian Ruch
2015-12-14 Simon HuberEfficient @@ for fresh names
2015-12-14 Simon HuberSimplified pathComp
2015-12-03 Anders Mörtbergadd a short version of setquot
2015-12-02 Anders MörtbergProve direct version of uahp
2015-12-02 Anders Mörtbergfix comment
2015-12-02 Anders MörtbergCleaning
2015-12-02 Anders Mörtbergfinish setquot example
2015-12-02 Anders Mörtbergprove that bool is a set
2015-12-02 Anders Mörtbergprove that hProp is a set
2015-12-02 Anders Mörtbergprove uahp
2015-12-01 Anders Mörtbergsetquot
2015-11-26 Simon HuberAnother formulation of univalence
2015-11-19 Anders Mörtbergindentation
2015-11-19 Anders MörtbergAdd a test that of a simple example where Coq gets...
2015-10-26 Anders MörtbergFix printing of Pi types
2015-10-26 Anders MörtbergRevert my previous changes to GNUMakefile and add ...
2015-10-26 Anders MörtbergMerge pull request #23 from DanGrayson/improve-Makefile
2015-10-26 Daniel R. Graysonfix makefile for ghc 7.10
2015-10-26 Anders MörtbergUpdate README.md
2015-10-26 Anders MörtbergUpdate README.md
2015-10-25 Anders MörtbergTemporary fix to the Makefile
2015-10-25 Anders MörtbergMerge branch 'DanGrayson-improve-Makefile'
2015-10-25 Anders MörtbergMerge branch 'improve-Makefile' of https://github.com...
2015-10-23 Daniel R. Graysonadd examples/Makefile for ctt tags files
2015-10-23 Daniel R. Graysonremove INCLUDE option and add Makefile to repository
2015-10-23 Daniel R. Graysonupdate Makefile
2015-10-23 Daniel R. GraysonREADME...
2015-10-22 Daniel R. Graysonimprove Makefile
2015-10-22 Daniel R. Graysonrename makefile
2015-10-21 Anders MörtbergMerge pull request #21 from tulcod/master
2015-10-20 Auke BooijUpdate README.md: how to build with cabal
2015-10-19 Daniel R. Graysonupdate README
2015-10-19 Daniel R. Graysonupdate README
2015-10-19 Daniel R. Graysonadd "make TAGS" command, using hasktags
2015-10-19 Daniel R. GraysonMerge branch 'master' of github.com:mortberg/cubicaltt...
2015-10-16 Anders MörtbergRemove some old tests
2015-10-16 Anders MörtbergPatch and clean the torus example
2015-10-15 Daniel R. Graysonimprove Makefile
2015-10-14 Anders MörtbergUpdate cabal file (fix typo, remove old email address...
2015-10-14 Anders MörtbergMerge pull request #19 from tulcod/haskell2010
2015-10-14 Anders MörtbergMerge pull request #18 from tulcod/master
2015-10-14 Auke BooijMove to haskell 2010
2015-10-14 Auke BooijPopulate extra-source-files
2015-10-14 Auke BooijComplete cubicaltt.cabal: list all generated modules...
2015-10-14 Auke BooijRename executable to cubical (as in Makefile)
2015-10-14 Auke BooijConverted the project into a cabal project.
2015-10-11 Daniel R. Graysonimprove Makefile
2015-10-05 Anders MörtbergReintroduce hdata
2015-09-17 Simon HuberRemoved unGlue
2015-09-10 Simon HuberMerge branch 'mutual'
2015-09-10 Simon HuberRename Simple into NonMutual and added sanity check
2015-09-08 coquandupdated README
2015-08-31 Simon HuberFixed and added comment for transpHIT
2015-08-18 Simon HuberReintroduced mutual (wip)
2015-08-11 Simon HuberFix squeezes
2015-08-04 mortbergMerge pull request #14 from vladimirias/master
2015-08-02 Vladimir VoevodskyThe link to Voevodsky's webpage in README updated
2015-07-14 Anders MörtbergFix list
2015-07-14 Anders Mörtbergadd link to hoq
2015-07-03 coquandupdate README
2015-07-03 coquandremoved some examples (to be updated)
2015-07-03 coquandadded some examples
2015-07-03 coquandMerge branch 'master' of https://github.com/mortberg...
2015-07-03 coquandminor changes
2015-07-03 Anders MörtbergUpdate README
2015-07-02 Anders MörtbergAdd the proof of univalence using glue with isos
2015-07-01 Anders MörtbergFix imports
2015-06-30 Anders MörtbergFix typo in typechecker and redefine isoId using glue
2015-06-30 Anders MörtbergRevert to using iso instead of equiv
2015-06-29 AndersSome lemmas about equivs
2015-06-29 AndersUpdate aim talk
2015-06-28 Simon HuberFixed lemCompInv
2015-06-24 Simon HuberEquations for subst and J
2015-06-22 Simon HuberFix typo in inferType
2015-06-18 AndersRestate univalence
2015-06-18 AndersUpdate susp
2015-06-18 AndersUpdate README and update demo.ctt
2015-06-18 AndersCleaning and reorganization of files
2015-06-18 AndersMerge branch 'no_regular' into equiv
2015-06-18 AndersCleaning
2015-06-18 AndersAdd typechecking for glueElem
2015-06-18 AndersRemove old code for eqToIso and gradLemma for isos
2015-06-18 AndersMake more names unqualified when importing Map and...
2015-06-18 AndersImprove printing of fst and snd
2015-06-18 AndersRemove commented code for GlueLine, GlueLineElem, CompE...
next