git.ak3n.com - cubicaltt.git/shortlog

2015-12-26	coquand	other proof of univalence	commit \| commitdiff \| tree \| snapshot
2015-12-26	coquand	corrected Eval	commit \| commitdiff \| tree \| snapshot
2015-12-26	coquand	an example where we type-checked a normal form	commit \| commitdiff \| tree \| snapshot
2015-12-26	coquand	proof of univalence?	commit \| commitdiff \| tree \| snapshot
2015-12-26	coquand	univalence	commit \| commitdiff \| tree \| snapshot
2015-12-26	coquand	proof of univalence	commit \| commitdiff \| tree \| snapshot
2015-12-17	Simon Huber	Fixed eqToEquiv	commit \| commitdiff \| tree \| snapshot
2015-12-16	Simon Huber	Switched back to equiv, simplified glue	commit \| commitdiff \| tree \| snapshot
2015-12-15	Simon Huber	Bugfix for type checking glueElems by Fabian Ruch	commit \| commitdiff \| tree \| snapshot
2015-12-14	Simon Huber	Efficient @@ for fresh names	commit \| commitdiff \| tree \| snapshot
2015-12-14	Simon Huber	Simplified pathComp	commit \| commitdiff \| tree \| snapshot
2015-12-03	Anders Mörtberg	add a short version of setquot	commit \| commitdiff \| tree \| snapshot
2015-12-02	Anders Mörtberg	Prove direct version of uahp	commit \| commitdiff \| tree \| snapshot
2015-12-02	Anders Mörtberg	fix comment	commit \| commitdiff \| tree \| snapshot
2015-12-02	Anders Mörtberg	Cleaning	commit \| commitdiff \| tree \| snapshot
2015-12-02	Anders Mörtberg	finish setquot example	commit \| commitdiff \| tree \| snapshot
2015-12-02	Anders Mörtberg	prove that bool is a set	commit \| commitdiff \| tree \| snapshot
2015-12-02	Anders Mörtberg	prove that hProp is a set	commit \| commitdiff \| tree \| snapshot
2015-12-02	Anders Mörtberg	prove uahp	commit \| commitdiff \| tree \| snapshot
2015-12-01	Anders Mörtberg	setquot	commit \| commitdiff \| tree \| snapshot
2015-11-26	Simon Huber	Another formulation of univalence	commit \| commitdiff \| tree \| snapshot
2015-11-19	Anders Mörtberg	indentation	commit \| commitdiff \| tree \| snapshot
2015-11-19	Anders Mörtberg	Add a test that of a simple example where Coq gets...	commit \| commitdiff \| tree \| snapshot
2015-10-26	Anders Mörtberg	Fix printing of Pi types	commit \| commitdiff \| tree \| snapshot
2015-10-26	Anders Mörtberg	Revert my previous changes to GNUMakefile and add ...	commit \| commitdiff \| tree \| snapshot
2015-10-26	Anders Mörtberg	Merge pull request #23 from DanGrayson/improve-Makefile	commit \| commitdiff \| tree \| snapshot
2015-10-26	Daniel R. Grayson	fix makefile for ghc 7.10	commit \| commitdiff \| tree \| snapshot
2015-10-26	Anders Mörtberg	Update README.md	commit \| commitdiff \| tree \| snapshot
2015-10-26	Anders Mörtberg	Update README.md	commit \| commitdiff \| tree \| snapshot
2015-10-25	Anders Mörtberg	Temporary fix to the Makefile	commit \| commitdiff \| tree \| snapshot
2015-10-25	Anders Mörtberg	Merge branch 'DanGrayson-improve-Makefile'	commit \| commitdiff \| tree \| snapshot
2015-10-25	Anders Mörtberg	Merge branch 'improve-Makefile' of https://github.com...	commit \| commitdiff \| tree \| snapshot
2015-10-23	Daniel R. Grayson	add examples/Makefile for ctt tags files	commit \| commitdiff \| tree \| snapshot
2015-10-23	Daniel R. Grayson	remove INCLUDE option and add Makefile to repository	commit \| commitdiff \| tree \| snapshot
2015-10-23	Daniel R. Grayson	update Makefile	commit \| commitdiff \| tree \| snapshot
2015-10-23	Daniel R. Grayson	README...	commit \| commitdiff \| tree \| snapshot
2015-10-22	Daniel R. Grayson	improve Makefile	commit \| commitdiff \| tree \| snapshot
2015-10-22	Daniel R. Grayson	rename makefile	commit \| commitdiff \| tree \| snapshot
2015-10-21	Anders Mörtberg	Merge pull request #21 from tulcod/master	commit \| commitdiff \| tree \| snapshot
2015-10-20	Auke Booij	Update README.md: how to build with cabal	commit \| commitdiff \| tree \| snapshot
2015-10-19	Daniel R. Grayson	update README	commit \| commitdiff \| tree \| snapshot
2015-10-19	Daniel R. Grayson	update README	commit \| commitdiff \| tree \| snapshot
2015-10-19	Daniel R. Grayson	add "make TAGS" command, using hasktags	commit \| commitdiff \| tree \| snapshot
2015-10-19	Daniel R. Grayson	Merge branch 'master' of github.com:mortberg/cubicaltt...	commit \| commitdiff \| tree \| snapshot
2015-10-16	Anders Mörtberg	Remove some old tests	commit \| commitdiff \| tree \| snapshot
2015-10-16	Anders Mörtberg	Patch and clean the torus example	commit \| commitdiff \| tree \| snapshot
2015-10-15	Daniel R. Grayson	improve Makefile	commit \| commitdiff \| tree \| snapshot
2015-10-14	Anders Mörtberg	Update cabal file (fix typo, remove old email address...	commit \| commitdiff \| tree \| snapshot
2015-10-14	Anders Mörtberg	Merge pull request #19 from tulcod/haskell2010	commit \| commitdiff \| tree \| snapshot
2015-10-14	Anders Mörtberg	Merge pull request #18 from tulcod/master	commit \| commitdiff \| tree \| snapshot
2015-10-14	Auke Booij	Move to haskell 2010	commit \| commitdiff \| tree \| snapshot
2015-10-14	Auke Booij	Populate extra-source-files	commit \| commitdiff \| tree \| snapshot
2015-10-14	Auke Booij	Complete cubicaltt.cabal: list all generated modules...	commit \| commitdiff \| tree \| snapshot
2015-10-14	Auke Booij	Rename executable to cubical (as in Makefile)	commit \| commitdiff \| tree \| snapshot
2015-10-14	Auke Booij	Converted the project into a cabal project.	commit \| commitdiff \| tree \| snapshot
2015-10-11	Daniel R. Grayson	improve Makefile	commit \| commitdiff \| tree \| snapshot
2015-10-05	Anders Mörtberg	Reintroduce hdata	commit \| commitdiff \| tree \| snapshot
2015-09-17	Simon Huber	Removed unGlue	commit \| commitdiff \| tree \| snapshot
2015-09-10	Simon Huber	Merge branch 'mutual'	commit \| commitdiff \| tree \| snapshot
2015-09-10	Simon Huber	Rename Simple into NonMutual and added sanity check	commit \| commitdiff \| tree \| snapshot
2015-09-08	coquand	updated README	commit \| commitdiff \| tree \| snapshot
2015-08-31	Simon Huber	Fixed and added comment for transpHIT	commit \| commitdiff \| tree \| snapshot
2015-08-18	Simon Huber	Reintroduced mutual (wip)	commit \| commitdiff \| tree \| snapshot
2015-08-11	Simon Huber	Fix squeezes	commit \| commitdiff \| tree \| snapshot
2015-08-04	mortberg	Merge pull request #14 from vladimirias/master	commit \| commitdiff \| tree \| snapshot
2015-08-02	Vladimir Voevodsky	The link to Voevodsky's webpage in README updated	commit \| commitdiff \| tree \| snapshot
2015-07-14	Anders Mörtberg	Fix list	commit \| commitdiff \| tree \| snapshot
2015-07-14	Anders Mörtberg	add link to hoq	commit \| commitdiff \| tree \| snapshot
2015-07-03	coquand	update README	commit \| commitdiff \| tree \| snapshot
2015-07-03	coquand	removed some examples (to be updated)	commit \| commitdiff \| tree \| snapshot
2015-07-03	coquand	added some examples	commit \| commitdiff \| tree \| snapshot
2015-07-03	coquand	Merge branch 'master' of https://github.com/mortberg...	commit \| commitdiff \| tree \| snapshot
2015-07-03	coquand	minor changes	commit \| commitdiff \| tree \| snapshot
2015-07-03	Anders Mörtberg	Update README	commit \| commitdiff \| tree \| snapshot
2015-07-02	Anders Mörtberg	Add the proof of univalence using glue with isos	commit \| commitdiff \| tree \| snapshot
2015-07-01	Anders Mörtberg	Fix imports	commit \| commitdiff \| tree \| snapshot
2015-06-30	Anders Mörtberg	Fix typo in typechecker and redefine isoId using glue	commit \| commitdiff \| tree \| snapshot
2015-06-30	Anders Mörtberg	Revert to using iso instead of equiv	commit \| commitdiff \| tree \| snapshot
2015-06-29	Anders	Some lemmas about equivs	commit \| commitdiff \| tree \| snapshot
2015-06-29	Anders	Update aim talk	commit \| commitdiff \| tree \| snapshot
2015-06-28	Simon Huber	Fixed lemCompInv	commit \| commitdiff \| tree \| snapshot
2015-06-24	Simon Huber	Equations for subst and J	commit \| commitdiff \| tree \| snapshot
2015-06-22	Simon Huber	Fix typo in inferType	commit \| commitdiff \| tree \| snapshot
2015-06-18	Anders	Restate univalence	commit \| commitdiff \| tree \| snapshot
2015-06-18	Anders	Update susp	commit \| commitdiff \| tree \| snapshot
2015-06-18	Anders	Update README and update demo.ctt	commit \| commitdiff \| tree \| snapshot
2015-06-18	Anders	Cleaning and reorganization of files	commit \| commitdiff \| tree \| snapshot
2015-06-18	Anders	Merge branch 'no_regular' into equiv	commit \| commitdiff \| tree \| snapshot
2015-06-18	Anders	Cleaning	commit \| commitdiff \| tree \| snapshot
2015-06-18	Anders	Add typechecking for glueElem	commit \| commitdiff \| tree \| snapshot
2015-06-18	Anders	Remove old code for eqToIso and gradLemma for isos	commit \| commitdiff \| tree \| snapshot
2015-06-18	Anders	Make more names unqualified when importing Map and...	commit \| commitdiff \| tree \| snapshot
2015-06-18	Anders	Improve printing of fst and snd	commit \| commitdiff \| tree \| snapshot
2015-06-18	Anders	Remove commented code for GlueLine, GlueLineElem, CompE...	commit \| commitdiff \| tree \| snapshot
2015-06-18	Anders	Reintroduce transport	commit \| commitdiff \| tree \| snapshot
2015-06-18	Anders	Reintroduce glueElem	commit \| commitdiff \| tree \| snapshot
2015-06-17	Anders	Finish the proof of univalence	commit \| commitdiff \| tree \| snapshot
2015-06-17	Anders Mörtberg	Start adding gradlemma to finish proof of univalence	commit \| commitdiff \| tree \| snapshot
2015-06-16	Simon Huber	A proof of univalence (wip)	commit \| commitdiff \| tree \| snapshot
2015-06-16	Simon Huber	Adds projections for equivs	commit \| commitdiff \| tree \| snapshot
next

My fork of cubicaltt with web interface using Reflex.

RSS Atom