projects / cubicaltt.git / shortlog
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
cubicaltt.git
2020-08-31 Evgenii AkentevAdd web version of cubicaltt commit | commitdiff | tree | snapshot
2018-10-16 Anders Mörtbergsupport hcomp in typechecker commit | commitdiff | tree | snapshot
2018-10-16 Anders Mörtbergadd parsing of hComp commit | commitdiff | tree | snapshot
2018-09-19 Anders Mörtbergfix eta for glue (note: the type is still missing from... commit | commitdiff | tree | snapshot
2018-09-16 Floris van... define pointed maps, and prove some equivalences betwee... commit | commitdiff | tree | snapshot
2018-06-10 Anders Mörtbergdon't truncate error messages so much commit | commitdiff | tree | snapshot
2018-06-10 Anders Mörtbergmake cubicaltt compile with the latest version of GHC commit | commitdiff | tree | snapshot
2018-05-25 favoniaMake GNUmakefile more customizable. commit | commitdiff | tree | snapshot
2018-04-25 Anders Mörtbergfix indentation in univalenceAlt commit | commitdiff | tree | snapshot
2018-04-19 Anders Mörtbergopaque uaret commit | commitdiff | tree | snapshot
2018-04-19 Anders Mörtbergcopy over brunerie.ctt from hcomptrans branch. some... commit | commitdiff | tree | snapshot
2018-04-19 Anders Mörtbergadd 5th winding number commit | commitdiff | tree | snapshot
2018-04-09 Carlo AngiuliClean up isoToEquiv proof with Anders. commit | commitdiff | tree | snapshot
2018-02-23 Anders Mörtbergadd an alternative proof of J commit | commitdiff | tree | snapshot
2018-02-10 Anders Mörtbergclarify PathP vs Path commit | commitdiff | tree | snapshot
2017-12-06 Anders Mörtbergproof relating function part of transEquiv to transEqui... commit | commitdiff | tree | snapshot
2017-11-20 Anders Mörtbergcomments commit | commitdiff | tree | snapshot
2017-11-20 Anders Mörtbergsimplify more commit | commitdiff | tree | snapshot
2017-11-20 Anders Mörtbergimprove uaret commit | commitdiff | tree | snapshot
2017-11-18 Anders Mörtbergupdate lectures commit | commitdiff | tree | snapshot
2017-11-14 Anders Mörtbergunfolded version of propIsEquivDirect commit | commitdiff | tree | snapshot
2017-11-11 Anders Mörtbergdirect proof that being an equiv is a prop commit | commitdiff | tree | snapshot
2017-11-08 Carlo Angiulidelete 'primitive' keyword from emacs mode commit | commitdiff | tree | snapshot
2017-11-08 Carlo Angiulirudimentary vim syntax file commit | commitdiff | tree | snapshot
2017-11-06 Namdak Tonpaplug functor to recursion schemes commit | commitdiff | tree | snapshot
2017-11-06 Namdak TonpaCreate lambek.ctt commit | commitdiff | tree | snapshot
2017-11-06 Namdak TonpaCreate control.ctt commit | commitdiff | tree | snapshot
2017-11-03 Anders Mörtbergupdate lectures commit | commitdiff | tree | snapshot
2017-10-30 Anders Mörtbergdirect proofs that things are sets commit | commitdiff | tree | snapshot
2017-09-25 Anders Mörtbergtest travis for PRs commit | commitdiff | tree | snapshot
2017-09-25 Anders Mörtbergtest 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örtberguse foldrWithKey instead of foldWithKey to eliminate... commit | commitdiff | tree | snapshot
2017-09-20 Anders Mörtbergcleaning commit | commitdiff | tree | snapshot
2017-09-17 Apostolis Xekoukoulo... A small simplification on binnat.ctt commit | commitdiff | tree | snapshot
2017-09-13 Anders Mörtbergupdate 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 ShulmanUse cubicaltt syntax table in the process buffer. commit | commitdiff | tree | snapshot
2017-09-12 Mike Shulmanseparate syntax highlighting for keywords and builtins commit | commitdiff | tree | snapshot
2017-09-08 Cyril CohenMerge pull request #77 from mikeshulman/nograd commit | commitdiff | tree | snapshot
2017-09-07 Mike ShulmanRemove one more instance of "graduate lemma" commit | commitdiff | tree | snapshot
2017-08-11 Anders Mörtbergrename gradLemma to isoToEquiv commit | commitdiff | tree | snapshot
2017-07-09 Anders Mörtbergpi4s3 (first 5 maps) commit | commitdiff | tree | snapshot
2017-06-20 Anders Mörtbergmove girard commit | commitdiff | tree | snapshot
2017-06-20 Anders MörtbergMerge pull request #40 from abooij/girard commit | commitdiff | tree | snapshot
2017-06-20 Anders MörtbergMerge pull request #65 from mortberg/fiximporterrors commit | commitdiff | tree | snapshot
2017-06-20 Anders MörtbergMerge pull request #70 from Sobernard/master commit | commitdiff | tree | snapshot
2017-06-17 Anders Mörtbergmore explanations commit | commitdiff | tree | snapshot
2017-06-14 Anders Mörtbergupdate README commit | commitdiff | tree | snapshot
2017-06-14 Anders Mörtbergupdate README commit | commitdiff | tree | snapshot
2017-06-14 Anders Mörtbergupdate README commit | commitdiff | tree | snapshot
2017-06-14 Anders Mörtbergadd README for the lectures commit | commitdiff | tree | snapshot
2017-06-14 Anders Mörtberglecture 4 commit | commitdiff | tree | snapshot
2017-06-14 Anders Mörtbergupdate lectures commit | commitdiff | tree | snapshot
2017-06-14 Sophie Bernardcomments commit | commitdiff | tree | snapshot
2017-06-09 Sophie Bernardgeneral constcubes 2-3-4D commit | commitdiff | tree | snapshot
2017-06-09 Sophie Bernardconstcubes in n dimensions commit | commitdiff | tree | snapshot
2017-06-08 Anders Mörtbergspurious import commit | commitdiff | tree | snapshot
2017-06-08 Anders Mörtbergproper error handling when importing files commit | commitdiff | tree | snapshot
2017-06-08 Anders Mörtbergadd first version of lecture 4 commit | commitdiff | tree | snapshot
2017-06-08 Anders MörtbergMerge pull request #66 from mortberg/shadowed commit | commitdiff | tree | snapshot
2017-06-08 Anders Mörtbergmove test up commit | commitdiff | tree | snapshot
2017-06-08 Anders Mörtbergremove empty lines commit | commitdiff | tree | snapshot
2017-06-08 Anders MörtbergCheck if some names were shadowed while loading the... commit | commitdiff | tree | snapshot
2017-05-30 Anders Mörtbergfix typos commit | commitdiff | tree | snapshot
2017-05-30 Anders Mörtbergadd lecture 3 commit | commitdiff | tree | snapshot
2017-05-20 Anders Mörtbergminor commit | commitdiff | tree | snapshot
2017-05-20 Anders Mörtbergminor commit | commitdiff | tree | snapshot
2017-05-20 Anders Mörtbergminor update to lecture 2 commit | commitdiff | tree | snapshot
2017-05-20 Anders MörtbergAdd lecture 2 commit | commitdiff | tree | snapshot
2017-05-12 Anders Mörtbergupdate lecture1 commit | commitdiff | tree | snapshot
2017-05-11 Anders Mörtberglecture1 commit | commitdiff | tree | snapshot
2017-05-11 Anders Mörtbergupdate lecture commit | commitdiff | tree | snapshot
2017-05-11 Anders Mörtbergfirst lecture commit | commitdiff | tree | snapshot
2017-05-11 Cyril CohenAllow overlapping Arbitrary for Face and System commit | commitdiff | tree | snapshot
2017-05-11 Cyril CohenBoxing Env to prevent Show conflicts with newer version... commit | commitdiff | tree | snapshot
2017-05-07 Anders Mörtbergminor change commit | commitdiff | tree | snapshot
2017-05-02 Simon HuberMerge pull request #60 from Rotsor/more-parens-in-goal commit | commitdiff | tree | snapshot
2017-05-02 Anders MörtbergMerge pull request #59 from Rotsor/checkPLam-error... commit | commitdiff | tree | snapshot
2017-04-27 Simon HuberFix printing of idC and idJ also for values commit | commitdiff | tree | snapshot
2017-04-27 Simon HuberDon't use smart-constructors when normalizing values commit | commitdiff | tree | snapshot
2017-04-27 Simon HuberShow idC and idJ as we parse them commit | commitdiff | tree | snapshot
2017-04-26 Arseniy AlekseyevMore parentheses when printing values commit | commitdiff | tree | snapshot
2017-04-22 Arseniy Alekseyevbetter error message from checkPLam commit | commitdiff | tree | snapshot
2017-04-21 Simon HuberMerge pull request #58 from Rotsor/patch-1 commit | commitdiff | tree | snapshot
2017-04-19 RotsorEmacs mode: ignore backslash character commit | commitdiff | tree | snapshot
2017-01-19 Anders Mörtbergminor changes to bool commit | commitdiff | tree | snapshot
2017-01-19 Anders Mörtbergexperiment with Id commit | commitdiff | tree | snapshot
2017-01-04 Anders MörtbergMerge pull request #56 from linuborj/cubicaltt_grothendieck commit | commitdiff | tree | snapshot
2017-01-03 linusboUncommented slow function. commit | commitdiff | tree | snapshot
2017-01-02 linusboAdded definitions of algebraic structures in algstruct... commit | commitdiff | tree | snapshot
2016-12-25 Anders Mörtbergswap direction of equality to match order in comment commit | commitdiff | tree | snapshot
2016-12-25 Anders Mörtbergadd opposite category commit | commitdiff | tree | snapshot
2016-12-01 Anders Mörtbergadd a comment to category commit | commitdiff | tree | snapshot
2016-10-22 Anders Mörtbergreadme commit | commitdiff | tree | snapshot
2016-10-22 Anders Mörtbergupdate demo commit | commitdiff | tree | snapshot
2016-10-22 Anders Mörtbergreadme commit | commitdiff | tree | snapshot
next
My fork of cubicaltt with web interface using Reflex.