git.ak3n.com - cubicaltt.git/shortlog

2015-03-23	Anders	Add evaluation of Glue and GlueElem	commit \| commitdiff \| tree \| snapshot
2015-03-20	Simon Huber	fixed compLine; improved error msg for @@	commit \| commitdiff \| tree \| snapshot
2015-03-20	Simon Huber	dont crash the resolver if expression could not be...	commit \| commitdiff \| tree \| snapshot
2015-03-20	Anders	Update .gitignore	commit \| commitdiff \| tree \| snapshot
2015-03-20	Anders	Fix printing of formulas in AppFormula	commit \| commitdiff \| tree \| snapshot
2015-03-20	Anders	Add support for multiple bindings of dimensions	commit \| commitdiff \| tree \| snapshot
2015-03-20	Anders	Fix printing of systems	commit \| commitdiff \| tree \| snapshot
2015-03-20	Anders	Fix bug in gensym and add Square	commit \| commitdiff \| tree \| snapshot
2015-03-19	Anders	Finish implementing comp	commit \| commitdiff \| tree \| snapshot
2015-03-19	Anders	Parsing of systems	commit \| commitdiff \| tree \| snapshot
2015-03-19	Anders	Started adding comp	commit \| commitdiff \| tree \| snapshot
2015-03-19	Simon Huber	the endpoints of a path should match the Id arguments...	commit \| commitdiff \| tree \| snapshot
2015-03-19	Simon Huber	throw out Binder	commit \| commitdiff \| tree \| snapshot
2015-03-19	Simon Huber	time to wake up	commit \| commitdiff \| tree \| snapshot
2015-03-19	Simon Huber	reintroduced Convertible typeclass; fixed conv for...	commit \| commitdiff \| tree \| snapshot
2015-03-19	Simon Huber	fixed support for Env	commit \| commitdiff \| tree \| snapshot
2015-03-19	Anders Mörtberg	Start adding inferType	commit \| commitdiff \| tree \| snapshot
2015-03-19	Anders Mörtberg	Add 0 and 1 to parser and resolver	commit \| commitdiff \| tree \| snapshot
2015-03-19	Anders Mörtberg	Use checkPath when checking IdP	commit \| commitdiff \| tree \| snapshot
2015-03-19	Anders Mörtberg	Add .gitignore	commit \| commitdiff \| tree \| snapshot
2015-03-19	Anders Mörtberg	Names are now strings	commit \| commitdiff \| tree \| snapshot
2015-03-19	Anders Mörtberg	Add J	commit \| commitdiff \| tree \| snapshot
2015-03-19	Anders Mörtberg	Fix a typo in the parser	commit \| commitdiff \| tree \| snapshot
2015-03-18	Simon Huber	added transport	commit \| commitdiff \| tree \| snapshot
2015-03-18	Simon Huber	show transport like we parse it; whitespace	commit \| commitdiff \| tree \| snapshot
2015-03-18	Simon Huber	added app of a formula	commit \| commitdiff \| tree \| snapshot
2015-03-18	Anders	Add Id, Path, AppFormula and Trans.	commit \| commitdiff \| tree \| snapshot
2015-03-18	Anders	Add Connections	commit \| commitdiff \| tree \| snapshot
2015-03-18	Anders	Rename to cubical	commit \| commitdiff \| tree \| snapshot
2015-03-18	Anders	Start adding Id types	commit \| commitdiff \| tree \| snapshot
2015-03-18	Anders	Remove Neutral data type	commit \| commitdiff \| tree \| snapshot
2015-03-18	Anders Mörtberg	Clean Resolver	commit \| commitdiff \| tree \| snapshot
2015-03-18	Anders	Start working on cubical type theory	commit \| commitdiff \| tree \| snapshot
2015-02-26	Anders	Initial commit	commit \| commitdiff \| tree \| snapshot
2015-02-26	mortberg	Initial commit	commit \| commitdiff \| tree \| snapshot

My fork of cubicaltt with web interface using Reflex.

RSS Atom