cubicaltt.git
2015-05-16 coquandsimple examples on nat and list
2015-05-12 AndersIsomorphism of the direct and the susp definition of S2
2015-05-11 AndersFix the bug in transport and add optimizations to compE...
2015-05-08 AndersAdd exchange law and genPiS3
2015-05-08 AndersChange order in checkPathSystem
2015-05-06 AndersAdd check that systems don't contain the same face...
2015-05-06 AndersThe loop space of the torus is equal to Z * Z
2015-05-06 AndersCleaning
2015-05-06 AndersClean helix
2015-05-06 AndersMore efficient implementation of environments
2015-05-05 Anders MörtbergComment the two slowest tests in mystery
2015-05-05 Anders MörtbergAdd optimization to act
2015-05-05 Anders MörtbergAdd new proof that loopS1 is a set
2015-05-05 mortbergMerge pull request #10 from dlicata335/master
2015-05-05 Dan Licatacleaned up mystery.ctt for inclusion in repository...
2015-05-05 Anders MörtbergSwap test2 and test3 to correspond to what is in cubical
2015-05-05 Anders MörtbergAdd fix to comp for sums
2015-05-04 Anders MörtbergAdd pi4s3 until test0To5
2015-05-04 Anders MörtbergAdd -t flag
2015-05-04 Simon Hubernicer error msg
2015-05-04 Simon Huberfixed printing of glueLine
2015-05-04 Simon Hubermove neutrality test in app of a split to a composition
2015-05-04 Simon Huberuse unqualified mapWithKey
2015-05-03 Anders MörtbergAdd missing spaces
2015-05-03 mortbergMerge pull request #9 from dlicata335/master
2015-05-02 Dan Licatasix is not the successor of six
2015-05-02 Dan Licatamystery example: beta reduce some compIds
2015-05-02 Dan Licatacompile with -rtsopts so you can set the stack space
2015-05-02 Dan Licatause synthetic homotopy theory to get a function on...
2015-05-02 Dan Licatause synthetic homotopy theory to get a function on...
2015-05-01 Dan Licatatorus = two circles proof cleanup
2015-05-01 Dan Licatatorus = two circles proof
2015-04-30 Simon Huberadd more parentheses
2015-04-30 Simon Hubernon-trivial homotopy in the loop space of stwo
2015-04-30 Simon Huberallow overshadowing of names
2015-04-30 coquandupdated collection
2015-04-30 coquandupdated setTrunc
2015-04-30 coquandadded some test for pi1S2
2015-04-30 coquandpi1S2 is trivial
2015-04-30 coquandpiS2 is trivial
2015-04-30 coquandunivalence
2015-04-30 coquandthe collection of sets is a groupoid
2015-04-29 Simon Huberadded glueLine (wip)
2015-04-29 Simon Huberimprove error message
2015-04-29 coquandadded hopf fibration
2015-04-29 coquandmore efficient version of groupoid truncation
2015-04-28 coquandnicer proof of lemtransport
2015-04-28 coquandan example of normal form
2015-04-28 coquandadded groupoid truncation
2015-04-28 coquandadded pi1s2
2015-04-27 coquandclean mult
2015-04-27 coquandadded some examples for pi1S2
2015-04-23 AndersAdd the test of parsing output from integer back
2015-04-23 AndersFix set
2015-04-23 AndersNormalize formulas
2015-04-23 AndersFix dnf
2015-04-23 AndersElimination principle for set truncation
2015-04-23 Simon Huberbugix: take the border of the system where is=js
2015-04-21 Anders MörtbergRefactoring of examples
2015-04-21 AndersAdd normalization of environments
2015-04-21 coquandproof that mult is an equivalence
2015-04-21 coquandproof that mult is an equivalence
2015-04-21 coquandupdated proofs of Hedberg's Theorem
2015-04-21 AndersImprove printing of lambdas and paths
2015-04-21 AndersMake conversion use a list of names instead
2015-04-21 AndersRemove unnecessary argument to addBranch
2015-04-21 AndersRemove unnecessary monadic code in Typechecker (no...
2015-04-21 Anders MörtbergChange ? to !
2015-04-21 Anders MörtbergFix examples
2015-04-21 Anders MörtbergUpdate graph script
2015-04-21 Anders MörtbergAdd testall
2015-04-21 Anders MörtbergFix helix
2015-04-21 Anders MörtbergFix newhedberg
2015-04-21 Anders MörtbergUse old gensym and fresh again
2015-04-20 Anders MörtbergFix printing of VPi
2015-04-20 Anders MörtbergFix retract
2015-04-20 AndersMake normal print nicer names
2015-04-20 AndersFix printing of @
2015-04-20 AndersAdd quotient example
2015-04-20 AndersSplit higherhit into multiple files
2015-04-20 AndersMerge remote-tracking branch 'origin/higherhits'
2015-04-20 Anders MörtbergFix the way @ binds (it is now like normal application)
2015-04-20 Anders MörtbergFix a TODO in the resolver (the arguments in a path...
2015-04-20 Anders MörtbergFix all the old examples of HITs
2015-04-20 Anders MörtbergRemove the @ in PLabel
2015-04-19 coquandany isomorphism is an equivalence
2015-04-19 coquandif A and B are isomorphic, set A -> set B, normal form
2015-04-19 coquandif A and B are isomorphic, prop A -> prop B, normal...
2015-04-19 coquandresult on equivalence of fibers
2015-04-19 coquandnew proof of Hedberg's theorem
2015-04-18 Simon Hubersome examples
2015-04-18 Simon HuberlookName error msg for debugging
2015-04-18 Simon Huberbugfix in PBranches
2015-04-18 Simon Huberlet the system in a pcon know about all pcons in the sum
2015-04-18 Simon Huberbugfix
2015-04-18 Simon Huberbugfix in resolver
2015-04-18 Simon Huberwip (not working yet)
2015-04-17 AndersFix printing of goals and environments (TODO: Fix ...
2015-04-17 AndersRewrite app and support using case-of
2015-04-17 AndersUse Except instead or Error
next