git.ak3n.com - cubicaltt.git/shortlog

2015-05-05	mortberg	Merge pull request #10 from dlicata335/master	commit \| commitdiff \| tree \| snapshot
2015-05-05	Dan Licata	cleaned up mystery.ctt for inclusion in repository...	commit \| commitdiff \| tree \| snapshot
2015-05-05	Anders Mörtberg	Swap test2 and test3 to correspond to what is in cubical	commit \| commitdiff \| tree \| snapshot
2015-05-05	Anders Mörtberg	Add fix to comp for sums	commit \| commitdiff \| tree \| snapshot
2015-05-04	Anders Mörtberg	Add pi4s3 until test0To5	commit \| commitdiff \| tree \| snapshot
2015-05-04	Anders Mörtberg	Add -t flag	commit \| commitdiff \| tree \| snapshot
2015-05-04	Simon Huber	nicer error msg	commit \| commitdiff \| tree \| snapshot
2015-05-04	Simon Huber	fixed printing of glueLine	commit \| commitdiff \| tree \| snapshot
2015-05-04	Simon Huber	move neutrality test in app of a split to a composition	commit \| commitdiff \| tree \| snapshot
2015-05-04	Simon Huber	use unqualified mapWithKey	commit \| commitdiff \| tree \| snapshot
2015-05-03	Anders Mörtberg	Add missing spaces	commit \| commitdiff \| tree \| snapshot
2015-05-03	mortberg	Merge pull request #9 from dlicata335/master	commit \| commitdiff \| tree \| snapshot
2015-05-02	Dan Licata	six is not the successor of six	commit \| commitdiff \| tree \| snapshot
2015-05-02	Dan Licata	mystery example: beta reduce some compIds	commit \| commitdiff \| tree \| snapshot
2015-05-02	Dan Licata	compile with -rtsopts so you can set the stack space	commit \| commitdiff \| tree \| snapshot
2015-05-02	Dan Licata	use synthetic homotopy theory to get a function on...	commit \| commitdiff \| tree \| snapshot
2015-05-02	Dan Licata	use synthetic homotopy theory to get a function on...	commit \| commitdiff \| tree \| snapshot
2015-05-01	Dan Licata	torus = two circles proof cleanup	commit \| commitdiff \| tree \| snapshot
2015-05-01	Dan Licata	torus = two circles proof	commit \| commitdiff \| tree \| snapshot
2015-04-30	Simon Huber	add more parentheses	commit \| commitdiff \| tree \| snapshot
2015-04-30	Simon Huber	non-trivial homotopy in the loop space of stwo	commit \| commitdiff \| tree \| snapshot
2015-04-30	Simon Huber	allow overshadowing of names	commit \| commitdiff \| tree \| snapshot
2015-04-30	coquand	updated collection	commit \| commitdiff \| tree \| snapshot
2015-04-30	coquand	updated setTrunc	commit \| commitdiff \| tree \| snapshot
2015-04-30	coquand	added some test for pi1S2	commit \| commitdiff \| tree \| snapshot
2015-04-30	coquand	pi1S2 is trivial	commit \| commitdiff \| tree \| snapshot
2015-04-30	coquand	piS2 is trivial	commit \| commitdiff \| tree \| snapshot
2015-04-30	coquand	univalence	commit \| commitdiff \| tree \| snapshot
2015-04-30	coquand	the collection of sets is a groupoid	commit \| commitdiff \| tree \| snapshot
2015-04-29	Simon Huber	added glueLine (wip)	commit \| commitdiff \| tree \| snapshot
2015-04-29	Simon Huber	improve error message	commit \| commitdiff \| tree \| snapshot
2015-04-29	coquand	added hopf fibration	commit \| commitdiff \| tree \| snapshot
2015-04-29	coquand	more efficient version of groupoid truncation	commit \| commitdiff \| tree \| snapshot
2015-04-28	coquand	nicer proof of lemtransport	commit \| commitdiff \| tree \| snapshot
2015-04-28	coquand	an example of normal form	commit \| commitdiff \| tree \| snapshot
2015-04-28	coquand	added groupoid truncation	commit \| commitdiff \| tree \| snapshot
2015-04-28	coquand	added pi1s2	commit \| commitdiff \| tree \| snapshot
2015-04-27	coquand	clean mult	commit \| commitdiff \| tree \| snapshot
2015-04-27	coquand	added some examples for pi1S2	commit \| commitdiff \| tree \| snapshot
2015-04-23	Anders	Add the test of parsing output from integer back	commit \| commitdiff \| tree \| snapshot
2015-04-23	Anders	Fix set	commit \| commitdiff \| tree \| snapshot
2015-04-23	Anders	Normalize formulas	commit \| commitdiff \| tree \| snapshot
2015-04-23	Anders	Fix dnf	commit \| commitdiff \| tree \| snapshot
2015-04-23	Anders	Elimination principle for set truncation	commit \| commitdiff \| tree \| snapshot
2015-04-23	Simon Huber	bugix: take the border of the system where is=js	commit \| commitdiff \| tree \| snapshot
2015-04-21	Anders Mörtberg	Refactoring of examples	commit \| commitdiff \| tree \| snapshot
2015-04-21	Anders	Add normalization of environments	commit \| commitdiff \| tree \| snapshot
2015-04-21	coquand	proof that mult is an equivalence	commit \| commitdiff \| tree \| snapshot
2015-04-21	coquand	proof that mult is an equivalence	commit \| commitdiff \| tree \| snapshot
2015-04-21	coquand	updated proofs of Hedberg's Theorem	commit \| commitdiff \| tree \| snapshot
2015-04-21	Anders	Improve printing of lambdas and paths	commit \| commitdiff \| tree \| snapshot
2015-04-21	Anders	Make conversion use a list of names instead	commit \| commitdiff \| tree \| snapshot
2015-04-21	Anders	Remove unnecessary argument to addBranch	commit \| commitdiff \| tree \| snapshot
2015-04-21	Anders	Remove unnecessary monadic code in Typechecker (no...	commit \| commitdiff \| tree \| snapshot
2015-04-21	Anders Mörtberg	Change ? to !	commit \| commitdiff \| tree \| snapshot
2015-04-21	Anders Mörtberg	Fix examples	commit \| commitdiff \| tree \| snapshot
2015-04-21	Anders Mörtberg	Update graph script	commit \| commitdiff \| tree \| snapshot
2015-04-21	Anders Mörtberg	Add testall	commit \| commitdiff \| tree \| snapshot
2015-04-21	Anders Mörtberg	Fix helix	commit \| commitdiff \| tree \| snapshot
2015-04-21	Anders Mörtberg	Fix newhedberg	commit \| commitdiff \| tree \| snapshot
2015-04-21	Anders Mörtberg	Use old gensym and fresh again	commit \| commitdiff \| tree \| snapshot
2015-04-20	Anders Mörtberg	Fix printing of VPi	commit \| commitdiff \| tree \| snapshot
2015-04-20	Anders Mörtberg	Fix retract	commit \| commitdiff \| tree \| snapshot
2015-04-20	Anders	Make normal print nicer names	commit \| commitdiff \| tree \| snapshot
2015-04-20	Anders	Fix printing of @	commit \| commitdiff \| tree \| snapshot
2015-04-20	Anders	Add quotient example	commit \| commitdiff \| tree \| snapshot
2015-04-20	Anders	Split higherhit into multiple files	commit \| commitdiff \| tree \| snapshot
2015-04-20	Anders	Merge remote-tracking branch 'origin/higherhits'	commit \| commitdiff \| tree \| snapshot
2015-04-20	Anders Mörtberg	Fix the way @ binds (it is now like normal application)	commit \| commitdiff \| tree \| snapshot
2015-04-20	Anders Mörtberg	Fix a TODO in the resolver (the arguments in a path...	commit \| commitdiff \| tree \| snapshot
2015-04-20	Anders Mörtberg	Fix all the old examples of HITs	commit \| commitdiff \| tree \| snapshot
2015-04-20	Anders Mörtberg	Remove the @ in PLabel	commit \| commitdiff \| tree \| snapshot
2015-04-19	coquand	any isomorphism is an equivalence	commit \| commitdiff \| tree \| snapshot
2015-04-19	coquand	if A and B are isomorphic, set A -> set B, normal form	commit \| commitdiff \| tree \| snapshot
2015-04-19	coquand	if A and B are isomorphic, prop A -> prop B, normal...	commit \| commitdiff \| tree \| snapshot
2015-04-19	coquand	result on equivalence of fibers	commit \| commitdiff \| tree \| snapshot
2015-04-19	coquand	new proof of Hedberg's theorem	commit \| commitdiff \| tree \| snapshot
2015-04-18	Simon Huber	some examples	commit \| commitdiff \| tree \| snapshot
2015-04-18	Simon Huber	lookName error msg for debugging	commit \| commitdiff \| tree \| snapshot
2015-04-18	Simon Huber	bugfix in PBranches	commit \| commitdiff \| tree \| snapshot
2015-04-18	Simon Huber	let the system in a pcon know about all pcons in the sum	commit \| commitdiff \| tree \| snapshot
2015-04-18	Simon Huber	bugfix	commit \| commitdiff \| tree \| snapshot
2015-04-18	Simon Huber	bugfix in resolver	commit \| commitdiff \| tree \| snapshot
2015-04-18	Simon Huber	wip (not working yet)	commit \| commitdiff \| tree \| snapshot
2015-04-17	Anders	Fix printing of goals and environments (TODO: Fix ...	commit \| commitdiff \| tree \| snapshot
2015-04-17	Anders	Rewrite app and support using case-of	commit \| commitdiff \| tree \| snapshot
2015-04-17	Anders	Use Except instead or Error	commit \| commitdiff \| tree \| snapshot
2015-04-17	Anders	Remove tabs	commit \| commitdiff \| tree \| snapshot
2015-04-17	Anders Mörtberg	Only show second part of VPi x (VLam ...)	commit \| commitdiff \| tree \| snapshot
2015-04-17	Anders Mörtberg	Also normalize the type of lambdas and print VPi nicer	commit \| commitdiff \| tree \| snapshot
2015-04-17	Anders Mörtberg	Use showTer1 to print closures	commit \| commitdiff \| tree \| snapshot
2015-04-17	Anders Mörtberg	Fix uafunext2	commit \| commitdiff \| tree \| snapshot
2015-04-16	Anders	Remove some incidentally commited holes	commit \| commitdiff \| tree \| snapshot
2015-04-16	Anders	Reintroduce _ in identifier again	commit \| commitdiff \| tree \| snapshot
2015-04-16	Simon Huber	reintroduce nicer mkVar	commit \| commitdiff \| tree \| snapshot
2015-04-16	Simon Huber	keep name if we have it when generating a fresh name	commit \| commitdiff \| tree \| snapshot
2015-04-16	Simon Huber	change mkVar back to how it was	commit \| commitdiff \| tree \| snapshot
2015-04-16	Anders Mörtberg	Add indentation to Checking and start changing mkVar...	commit \| commitdiff \| tree \| snapshot
2015-04-16	Anders Mörtberg	Only print File loaded if file type checks	commit \| commitdiff \| tree \| snapshot
2015-04-16	Anders Mörtberg	Change gensym	commit \| commitdiff \| tree \| snapshot
next

My fork of cubicaltt with web interface using Reflex.

RSS Atom