git.ak3n.com - cubicaltt.git/shortlog

2016-10-21	Anders Mörtberg	add a readme for the examples folder	commit \| commitdiff \| tree \| snapshot
2016-10-21	Anders Mörtberg	add summary file	commit \| commitdiff \| tree \| snapshot
2016-10-21	Anders Mörtberg	doc	commit \| commitdiff \| tree \| snapshot
2016-10-21	Anders Mörtberg	move graph script	commit \| commitdiff \| tree \| snapshot
2016-10-21	Anders Mörtberg	comment	commit \| commitdiff \| tree \| snapshot
2016-10-21	Anders Mörtberg	add a script for loading all files	commit \| commitdiff \| tree \| snapshot
2016-10-21	Anders Mörtberg	comments	commit \| commitdiff \| tree \| snapshot
2016-10-21	Anders Mörtberg	move implicit point	commit \| commitdiff \| tree \| snapshot
2016-10-20	Anders Mörtberg	a lot of comments	commit \| commitdiff \| tree \| snapshot
2016-10-20	Anders Mörtberg	remove undefined and make csystem compile	commit \| commitdiff \| tree \| snapshot
2016-10-20	Anders Mörtberg	comments	commit \| commitdiff \| tree \| snapshot
2016-10-20	Anders Mörtberg	update category	commit \| commitdiff \| tree \| snapshot
2016-10-20	Anders Mörtberg	comments	commit \| commitdiff \| tree \| snapshot
2016-10-20	Anders Mörtberg	add transparent_all to keywords in emacs file	commit \| commitdiff \| tree \| snapshot
2016-10-20	Anders Mörtberg	remove examples/aim.ctt as it is subsumed by examples...	commit \| commitdiff \| tree \| snapshot
2016-09-22	Anders Mörtberg	add a small puzzle due to Andrew Polonsky	commit \| commitdiff \| tree \| snapshot
2016-09-22	Anders Mörtberg	Merge pull request #49 from mortberg/defeqJ	commit \| commitdiff \| tree \| snapshot
2016-09-19	Simon Huber	Fix insertSystem to maintain invariant for systems	commit \| commitdiff \| tree \| snapshot
2016-09-15	Anders Mörtberg	cleaning	commit \| commitdiff \| tree \| snapshot
2016-09-15	Anders Mörtberg	cleaning	commit \| commitdiff \| tree \| snapshot
2016-09-14	Anders Mörtberg	visible -> transparent	commit \| commitdiff \| tree \| snapshot
2016-09-14	Anders Mörtberg	direct definition of retract	commit \| commitdiff \| tree \| snapshot
2016-09-14	Anders Mörtberg	add Dan's proof of univalence from ua and uabeta	commit \| commitdiff \| tree \| snapshot
2016-08-10	Anders Mörtberg	Merge pull request #50 from david-christiansen/elisp...	commit \| commitdiff \| tree \| snapshot
2016-08-01	David Christiansen	Emacs mode: Update names for Customize	commit \| commitdiff \| tree \| snapshot
2016-08-01	David Christiansen	Update README for Emacs mode	commit \| commitdiff \| tree \| snapshot
2016-08-01	David Christiansen	Remove redundant comment command from Emacs mode	commit \| commitdiff \| tree \| snapshot
2016-08-01	David Christiansen	Remove CL-isms from Emacs mode	commit \| commitdiff \| tree \| snapshot
2016-08-01	David Christiansen	Rename Emacs mode identifiers	commit \| commitdiff \| tree \| snapshot
2016-08-01	David Christiansen	Better comment about space-escaping in Emacs mode	commit \| commitdiff \| tree \| snapshot
2016-07-29	Anders Mörtberg	define equivalence using Id and prove univalence with...	commit \| commitdiff \| tree \| snapshot
2016-07-29	Anders Mörtberg	minor changes	commit \| commitdiff \| tree \| snapshot
2016-07-29	Anders Mörtberg	cleaning and a version of univalence for Id	commit \| commitdiff \| tree \| snapshot
2016-07-29	Anders Mörtberg	rename Eq to Id	commit \| commitdiff \| tree \| snapshot
2016-07-29	Simon Huber	Some experiments with Eq	commit \| commitdiff \| tree \| snapshot
2016-07-29	Simon Huber	Added Eq types with definitional equality for J	commit \| commitdiff \| tree \| snapshot
2016-07-29	Anders Mörtberg	Merge pull request #46 from david-christiansen/elisp...	commit \| commitdiff \| tree \| snapshot
2016-07-29	Anders Mörtberg	Merge pull request #45 from david-christiansen/emacs...	commit \| commitdiff \| tree \| snapshot
2016-07-29	Anders Mörtberg	Merge pull request #44 from gullcomb/opt-decl-cmp	commit \| commitdiff \| tree \| snapshot
2016-07-29	Anders Mörtberg	change back conversion	commit \| commitdiff \| tree \| snapshot
2016-07-29	Anders Mörtberg	Merge branch 'conv'	commit \| commitdiff \| tree \| snapshot
2016-07-26	David Raymond...	Improve the display of Emacs customize	commit \| commitdiff \| tree \| snapshot
2016-07-26	David Raymond...	Add imenu support to the Emacs mode	commit \| commitdiff \| tree \| snapshot
2016-07-26	David Raymond...	Add support for completion	commit \| commitdiff \| tree \| snapshot
2016-07-26	David Raymond...	Make the Emacs mode work for package.el	commit \| commitdiff \| tree \| snapshot
2016-07-25	David Christiansen	Add subprocess to Emacs mode	commit \| commitdiff \| tree \| snapshot
2016-07-14	Anders Mörtberg	minor changes	commit \| commitdiff \| tree \| snapshot
2016-07-12	Guillaume Combette	Tag declarations with their location.	commit \| commitdiff \| tree \| snapshot
2016-07-12	Guillaume Combette	Fix build for GHC 7.8	commit \| commitdiff \| tree \| snapshot
2016-07-11	Anders Mörtberg	fix bug in printing	commit \| commitdiff \| tree \| snapshot
2016-07-11	Anders Mörtberg	cleaning of binnat	commit \| commitdiff \| tree \| snapshot
2016-07-11	Anders Mörtberg	Clean up of univalence and add the definition of unival...	commit \| commitdiff \| tree \| snapshot
2016-07-08	Rafaël Bocquet	Merge branch 'csystems'	commit \| commitdiff \| tree \| snapshot
2016-07-08	Rafaël Bocquet	Fix conv	commit \| commitdiff \| tree \| snapshot
2016-07-08	Rafaël Bocquet	Merge branch 'master' into csystems	commit \| commitdiff \| tree \| snapshot
2016-07-07	Rafaël Bocquet	Speed up conv	commit \| commitdiff \| tree \| snapshot
2016-07-07	Rafaël Bocquet	add some comments in category.ctt and csystem.ctt	commit \| commitdiff \| tree \| snapshot
2016-07-07	Anders Mörtberg	rename visible to transparent and fix printing of glue	commit \| commitdiff \| tree \| snapshot
2016-07-07	Anders Mörtberg	rename glue -> Glue, glueElem -> glue and unglueElem...	commit \| commitdiff \| tree \| snapshot
2016-07-07	Anders Mörtberg	rename Id to Path	commit \| commitdiff \| tree \| snapshot
2016-07-07	Anders Mörtberg	remove nthmUniv	commit \| commitdiff \| tree \| snapshot
2016-07-07	Anders Mörtberg	rename Path to PLam and IdP to PathP	commit \| commitdiff \| tree \| snapshot
2016-07-07	Anders Mörtberg	make subset compile using opaque	commit \| commitdiff \| tree \| snapshot
2016-07-07	Anders Mörtberg	move testempty	commit \| commitdiff \| tree \| snapshot
2016-07-07	Anders Mörtberg	merge mult and multS1	commit \| commitdiff \| tree \| snapshot
2016-07-07	Anders Mörtberg	move context of indSusp to susp	commit \| commitdiff \| tree \| snapshot
2016-07-07	Anders Mörtberg	more duplicate definitions	commit \| commitdiff \| tree \| snapshot
2016-07-07	Anders Mörtberg	move ex1 into circle	commit \| commitdiff \| tree \| snapshot
2016-07-07	Anders Mörtberg	remove duplicate code	commit \| commitdiff \| tree \| snapshot
2016-07-07	Anders Mörtberg	add a line without any specified points	commit \| commitdiff \| tree \| snapshot
2016-07-07	Anders Mörtberg	Merge branch 'csystems'	commit \| commitdiff \| tree \| snapshot
2016-07-06	Anders Mörtberg	don't hardcode list of ctt files in Makefile for genera...	commit \| commitdiff \| tree \| snapshot
2016-07-06	Anders Mörtberg	cleaning in prelude	commit \| commitdiff \| tree \| snapshot
2016-07-06	Anders Mörtberg	add equalNat	commit \| commitdiff \| tree \| snapshot
2016-07-05	Anders Mörtberg	fix name of local splits	commit \| commitdiff \| tree \| snapshot
2016-07-05	Anders Mörtberg	add local split	commit \| commitdiff \| tree \| snapshot
2016-07-05	Anders Mörtberg	add batch mode flag	commit \| commitdiff \| tree \| snapshot
2016-07-05	Anders Mörtberg	wip	commit \| commitdiff \| tree \| snapshot
2016-07-05	Anders Mörtberg	wip on an equivalent presentation of the circle as...	commit \| commitdiff \| tree \| snapshot
2016-07-05	Anders Mörtberg	minor changes to circle	commit \| commitdiff \| tree \| snapshot
2016-07-01	Simon Huber	Merge pull request #39 from abooij/prop-trunc	commit \| commitdiff \| tree \| snapshot
2016-06-20	Rafaël Bocquet	Two equivalent categories are equal	commit \| commitdiff \| tree \| snapshot
2016-06-14	Rafaël Bocquet	wip	commit \| commitdiff \| tree \| snapshot
2016-06-13	Rafaël Bocquet	wip	commit \| commitdiff \| tree \| snapshot
2016-06-02	Auke Booij	Add warning about recursive HITs	commit \| commitdiff \| tree \| snapshot
2016-06-02	Auke Booij	Rename truncP to inh	commit \| commitdiff \| tree \| snapshot
2016-06-01	Auke Booij	implement propositional truncation	commit \| commitdiff \| tree \| snapshot
2016-05-31	Rafaël Bocquet	Split csystem.ctt into category.ctt and csystem.ctt	commit \| commitdiff \| tree \| snapshot
2016-05-24	Anders Mörtberg	add reserved keywords to README	commit \| commitdiff \| tree \| snapshot
2016-05-23	Rafaël Bocquet	Construction of a C0-System from a universe category	commit \| commitdiff \| tree \| snapshot
2016-05-23	Rafaël Bocquet	Fix the module name	commit \| commitdiff \| tree \| snapshot
2016-05-23	Rafaël Bocquet	(wip) construction of a C0-System from a universe category	commit \| commitdiff \| tree \| snapshot
2016-05-10	Rafaël Bocquet	Both definitions of C systems; the second one implies...	commit \| commitdiff \| tree \| snapshot
2016-04-27	Thierry Coquand	small change	commit \| commitdiff \| tree \| snapshot
2016-04-27	Thierry Coquand	we should improve the evaluator	commit \| commitdiff \| tree \| snapshot
2016-04-21	Rafaël Bocquet	Merge branch 'master' of github.com:mortberg/cubicaltt...	commit \| commitdiff \| tree \| snapshot
2016-04-21	Rafaël Bocquet	definition of C systems	commit \| commitdiff \| tree \| snapshot
2016-04-14	Anders Mörtberg	Finish binnat example and add elimination principles...	commit \| commitdiff \| tree \| snapshot
2016-04-14	Rafaël Bocquet	simple computation using multZ	commit \| commitdiff \| tree \| snapshot
2016-04-14	Rafaël Bocquet	torsor multiplication	commit \| commitdiff \| tree \| snapshot
next

My fork of cubicaltt with web interface using Reflex.

RSS Atom