git.ak3n.com - cubicaltt.git/shortlog

2017-11-08	Carlo Angiuli	rudimentary vim syntax file	commit \| commitdiff \| tree \| snapshot
2017-11-06	Namdak Tonpa	plug functor to recursion schemes	commit \| commitdiff \| tree \| snapshot
2017-11-06	Namdak Tonpa	Create lambek.ctt	commit \| commitdiff \| tree \| snapshot
2017-11-06	Namdak Tonpa	Create control.ctt	commit \| commitdiff \| tree \| snapshot
2017-11-03	Anders Mörtberg	update lectures	commit \| commitdiff \| tree \| snapshot
2017-10-30	Anders Mörtberg	direct proofs that things are sets	commit \| commitdiff \| tree \| snapshot
2017-09-25	Anders Mörtberg	test travis for PRs	commit \| commitdiff \| tree \| snapshot
2017-09-25	Anders Mörtberg	test travis	commit \| commitdiff \| tree \| snapshot
2017-09-24	Víctor López...	.gitignore .stack-work, vim swap files	commit \| commitdiff \| tree \| snapshot
2017-09-24	Víctor López...	Build with stack LTS 9.5 resolver	commit \| commitdiff \| tree \| snapshot
2017-09-24	Anders Mörtberg	use foldrWithKey instead of foldWithKey to eliminate...	commit \| commitdiff \| tree \| snapshot
2017-09-20	Anders Mörtberg	cleaning	commit \| commitdiff \| tree \| snapshot
2017-09-17	Apostolis Xekoukoulo...	A small simplification on binnat.ctt	commit \| commitdiff \| tree \| snapshot
2017-09-13	Anders Mörtberg	update lectures	commit \| commitdiff \| tree \| snapshot
2017-09-12	Víctor López...	Add stack build instructions to the README.md file.	commit \| commitdiff \| tree \| snapshot
2017-09-12	Víctor López...	Remove cruft from stack.yaml	commit \| commitdiff \| tree \| snapshot
2017-09-12	Víctor López...	Add support for Travis CI	commit \| commitdiff \| tree \| snapshot
2017-09-12	Mike Shulman	Use cubicaltt syntax table in the process buffer.	commit \| commitdiff \| tree \| snapshot
2017-09-12	Mike Shulman	separate syntax highlighting for keywords and builtins	commit \| commitdiff \| tree \| snapshot
2017-09-08	Cyril Cohen	Merge pull request #77 from mikeshulman/nograd	commit \| commitdiff \| tree \| snapshot
2017-09-07	Mike Shulman	Remove one more instance of "graduate lemma"	commit \| commitdiff \| tree \| snapshot
2017-08-11	Anders Mörtberg	rename gradLemma to isoToEquiv	commit \| commitdiff \| tree \| snapshot
2017-07-09	Anders Mörtberg	pi4s3 (first 5 maps)	commit \| commitdiff \| tree \| snapshot
2017-06-20	Anders Mörtberg	move girard	commit \| commitdiff \| tree \| snapshot
2017-06-20	Anders Mörtberg	Merge pull request #40 from abooij/girard	commit \| commitdiff \| tree \| snapshot
2017-06-20	Anders Mörtberg	Merge pull request #65 from mortberg/fiximporterrors	commit \| commitdiff \| tree \| snapshot
2017-06-20	Anders Mörtberg	Merge pull request #70 from Sobernard/master	commit \| commitdiff \| tree \| snapshot
2017-06-17	Anders Mörtberg	more explanations	commit \| commitdiff \| tree \| snapshot
2017-06-14	Anders Mörtberg	update README	commit \| commitdiff \| tree \| snapshot
2017-06-14	Anders Mörtberg	update README	commit \| commitdiff \| tree \| snapshot
2017-06-14	Anders Mörtberg	update README	commit \| commitdiff \| tree \| snapshot
2017-06-14	Anders Mörtberg	add README for the lectures	commit \| commitdiff \| tree \| snapshot
2017-06-14	Anders Mörtberg	lecture 4	commit \| commitdiff \| tree \| snapshot
2017-06-14	Anders Mörtberg	update lectures	commit \| commitdiff \| tree \| snapshot
2017-06-14	Sophie Bernard	comments	commit \| commitdiff \| tree \| snapshot
2017-06-09	Sophie Bernard	general constcubes 2-3-4D	commit \| commitdiff \| tree \| snapshot
2017-06-09	Sophie Bernard	constcubes in n dimensions	commit \| commitdiff \| tree \| snapshot
2017-06-08	Anders Mörtberg	spurious import	commit \| commitdiff \| tree \| snapshot
2017-06-08	Anders Mörtberg	proper error handling when importing files	commit \| commitdiff \| tree \| snapshot
2017-06-08	Anders Mörtberg	add first version of lecture 4	commit \| commitdiff \| tree \| snapshot
2017-06-08	Anders Mörtberg	Merge pull request #66 from mortberg/shadowed	commit \| commitdiff \| tree \| snapshot
2017-06-08	Anders Mörtberg	move test up	commit \| commitdiff \| tree \| snapshot
2017-06-08	Anders Mörtberg	remove empty lines	commit \| commitdiff \| tree \| snapshot
2017-06-08	Anders Mörtberg	Check if some names were shadowed while loading the...	commit \| commitdiff \| tree \| snapshot
2017-05-30	Anders Mörtberg	fix typos	commit \| commitdiff \| tree \| snapshot
2017-05-30	Anders Mörtberg	add lecture 3	commit \| commitdiff \| tree \| snapshot
2017-05-20	Anders Mörtberg	minor	commit \| commitdiff \| tree \| snapshot
2017-05-20	Anders Mörtberg	minor	commit \| commitdiff \| tree \| snapshot
2017-05-20	Anders Mörtberg	minor update to lecture 2	commit \| commitdiff \| tree \| snapshot
2017-05-20	Anders Mörtberg	Add lecture 2	commit \| commitdiff \| tree \| snapshot
2017-05-12	Anders Mörtberg	update lecture1	commit \| commitdiff \| tree \| snapshot
2017-05-11	Anders Mörtberg	lecture1	commit \| commitdiff \| tree \| snapshot
2017-05-11	Anders Mörtberg	update lecture	commit \| commitdiff \| tree \| snapshot
2017-05-11	Anders Mörtberg	first lecture	commit \| commitdiff \| tree \| snapshot
2017-05-11	Cyril Cohen	Allow overlapping Arbitrary for Face and System	commit \| commitdiff \| tree \| snapshot
2017-05-11	Cyril Cohen	Boxing Env to prevent Show conflicts with newer version...	commit \| commitdiff \| tree \| snapshot
2017-05-07	Anders Mörtberg	minor change	commit \| commitdiff \| tree \| snapshot
2017-05-02	Simon Huber	Merge pull request #60 from Rotsor/more-parens-in-goal	commit \| commitdiff \| tree \| snapshot
2017-05-02	Anders Mörtberg	Merge pull request #59 from Rotsor/checkPLam-error...	commit \| commitdiff \| tree \| snapshot
2017-04-27	Simon Huber	Fix printing of idC and idJ also for values	commit \| commitdiff \| tree \| snapshot
2017-04-27	Simon Huber	Don't use smart-constructors when normalizing values	commit \| commitdiff \| tree \| snapshot
2017-04-27	Simon Huber	Show idC and idJ as we parse them	commit \| commitdiff \| tree \| snapshot
2017-04-26	Arseniy Alekseyev	More parentheses when printing values	commit \| commitdiff \| tree \| snapshot
2017-04-22	Arseniy Alekseyev	better error message from checkPLam	commit \| commitdiff \| tree \| snapshot
2017-04-21	Simon Huber	Merge pull request #58 from Rotsor/patch-1	commit \| commitdiff \| tree \| snapshot
2017-04-19	Rotsor	Emacs mode: ignore backslash character	commit \| commitdiff \| tree \| snapshot
2017-01-19	Anders Mörtberg	minor changes to bool	commit \| commitdiff \| tree \| snapshot
2017-01-19	Anders Mörtberg	experiment with Id	commit \| commitdiff \| tree \| snapshot
2017-01-04	Anders Mörtberg	Merge pull request #56 from linuborj/cubicaltt_grothendieck	commit \| commitdiff \| tree \| snapshot
2017-01-03	linusbo	Uncommented slow function.	commit \| commitdiff \| tree \| snapshot
2017-01-02	linusbo	Added definitions of algebraic structures in algstruct...	commit \| commitdiff \| tree \| snapshot
2016-12-25	Anders Mörtberg	swap direction of equality to match order in comment	commit \| commitdiff \| tree \| snapshot
2016-12-25	Anders Mörtberg	add opposite category	commit \| commitdiff \| tree \| snapshot
2016-12-01	Anders Mörtberg	add a comment to category	commit \| commitdiff \| tree \| snapshot
2016-10-22	Anders Mörtberg	readme	commit \| commitdiff \| tree \| snapshot
2016-10-22	Anders Mörtberg	update demo	commit \| commitdiff \| tree \| snapshot
2016-10-22	Anders Mörtberg	readme	commit \| commitdiff \| tree \| snapshot
2016-10-22	Anders Mörtberg	readme	commit \| commitdiff \| tree \| snapshot
2016-10-22	Anders Mörtberg	README	commit \| commitdiff \| tree \| snapshot
2016-10-22	Anders Mörtberg	update readme	commit \| commitdiff \| tree \| snapshot
2016-10-21	Anders Mörtberg	doc	commit \| commitdiff \| tree \| snapshot
2016-10-21	Anders Mörtberg	doc	commit \| commitdiff \| tree \| snapshot
2016-10-21	Anders Mörtberg	test	commit \| commitdiff \| tree \| snapshot
2016-10-21	Anders Mörtberg	test	commit \| commitdiff \| tree \| snapshot
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
next

My fork of cubicaltt with web interface using Reflex.

RSS Atom