projects / cubicaltt.git / shortlog
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
cubicaltt.git
2015-10-15 Daniel R. Graysonimprove Makefile commit | commitdiff | tree | snapshot
2015-10-11 Daniel R. Graysonimprove Makefile commit | commitdiff | tree | snapshot
2015-10-05 Anders MörtbergReintroduce hdata commit | commitdiff | tree | snapshot
2015-09-17 Simon HuberRemoved unGlue commit | commitdiff | tree | snapshot
2015-09-10 Simon HuberMerge branch 'mutual' commit | commitdiff | tree | snapshot
2015-09-10 Simon HuberRename Simple into NonMutual and added sanity check commit | commitdiff | tree | snapshot
2015-09-08 coquandupdated README commit | commitdiff | tree | snapshot
2015-08-31 Simon HuberFixed and added comment for transpHIT commit | commitdiff | tree | snapshot
2015-08-18 Simon HuberReintroduced mutual (wip) commit | commitdiff | tree | snapshot
2015-08-11 Simon HuberFix squeezes commit | commitdiff | tree | snapshot
2015-08-04 mortbergMerge pull request #14 from vladimirias/master commit | commitdiff | tree | snapshot
2015-08-02 Vladimir VoevodskyThe link to Voevodsky's webpage in README updated commit | commitdiff | tree | snapshot
2015-07-14 Anders MörtbergFix list commit | commitdiff | tree | snapshot
2015-07-14 Anders Mörtbergadd link to hoq commit | commitdiff | tree | snapshot
2015-07-03 coquandupdate README commit | commitdiff | tree | snapshot
2015-07-03 coquandremoved some examples (to be updated) commit | commitdiff | tree | snapshot
2015-07-03 coquandadded some examples commit | commitdiff | tree | snapshot
2015-07-03 coquandMerge branch 'master' of https://github.com/mortberg... commit | commitdiff | tree | snapshot
2015-07-03 coquandminor changes commit | commitdiff | tree | snapshot
2015-07-03 Anders MörtbergUpdate README commit | commitdiff | tree | snapshot
2015-07-02 Anders MörtbergAdd the proof of univalence using glue with isos commit | commitdiff | tree | snapshot
2015-07-01 Anders MörtbergFix imports commit | commitdiff | tree | snapshot
2015-06-30 Anders MörtbergFix typo in typechecker and redefine isoId using glue commit | commitdiff | tree | snapshot
2015-06-30 Anders MörtbergRevert to using iso instead of equiv commit | commitdiff | tree | snapshot
2015-06-29 AndersSome lemmas about equivs commit | commitdiff | tree | snapshot
2015-06-29 AndersUpdate aim talk commit | commitdiff | tree | snapshot
2015-06-28 Simon HuberFixed lemCompInv commit | commitdiff | tree | snapshot
2015-06-24 Simon HuberEquations for subst and J commit | commitdiff | tree | snapshot
2015-06-22 Simon HuberFix typo in inferType commit | commitdiff | tree | snapshot
2015-06-18 AndersRestate univalence commit | commitdiff | tree | snapshot
2015-06-18 AndersUpdate susp commit | commitdiff | tree | snapshot
2015-06-18 AndersUpdate README and update demo.ctt commit | commitdiff | tree | snapshot
2015-06-18 AndersCleaning and reorganization of files commit | commitdiff | tree | snapshot
2015-06-18 AndersMerge branch 'no_regular' into equiv commit | commitdiff | tree | snapshot
2015-06-18 AndersCleaning commit | commitdiff | tree | snapshot
2015-06-18 AndersAdd typechecking for glueElem commit | commitdiff | tree | snapshot
2015-06-18 AndersRemove old code for eqToIso and gradLemma for isos commit | commitdiff | tree | snapshot
2015-06-18 AndersMake more names unqualified when importing Map and... commit | commitdiff | tree | snapshot
2015-06-18 AndersImprove printing of fst and snd commit | commitdiff | tree | snapshot
2015-06-18 AndersRemove commented code for GlueLine, GlueLineElem, CompE... commit | commitdiff | tree | snapshot
2015-06-18 AndersReintroduce transport commit | commitdiff | tree | snapshot
2015-06-18 AndersReintroduce glueElem commit | commitdiff | tree | snapshot
2015-06-17 AndersFinish the proof of univalence commit | commitdiff | tree | snapshot
2015-06-17 Anders MörtbergStart adding gradlemma to finish proof of univalence commit | commitdiff | tree | snapshot
2015-06-16 Simon HuberA proof of univalence (wip) commit | commitdiff | tree | snapshot
2015-06-16 Simon HuberAdds projections for equivs commit | commitdiff | tree | snapshot
2015-06-16 Simon HuberTypo commit | commitdiff | tree | snapshot
2015-06-16 Simon HuberDon't require equivalences to be eta-expanded commit | commitdiff | tree | snapshot
2015-06-15 Simon HuberFinished eqToEquiv commit | commitdiff | tree | snapshot
2015-06-15 Simon HuberFix handling of neutral for composition in sums commit | commitdiff | tree | snapshot
2015-06-13 AndersFix hisos'' commit | commitdiff | tree | snapshot
2015-06-12 AndersFix printing commit | commitdiff | tree | snapshot
2015-06-10 Simon HuberConvertability for HSum commit | commitdiff | tree | snapshot
2015-06-09 Simon HuberRename hiso to equiv commit | commitdiff | tree | snapshot
2015-06-09 Simon HuberEquivalences instead of isos (wip) commit | commitdiff | tree | snapshot
2015-06-08 AndersMake bool, circle and integer compile commit | commitdiff | tree | snapshot
2015-06-08 AndersAdd lemSimpl commit | commitdiff | tree | snapshot
2015-06-08 Simon HuberConvertability for hComp commit | commitdiff | tree | snapshot
2015-06-06 Anders MörtbergUpdate aim.ctt again commit | commitdiff | tree | snapshot
2015-06-06 Anders MörtbergUpdate aim.ctt commit | commitdiff | tree | snapshot
2015-06-06 Anders MörtbergAdd AIM talk commit | commitdiff | tree | snapshot
2015-06-05 Simon HuberLess definitional equalities for glue commit | commitdiff | tree | snapshot
2015-06-05 Simon HuberThrow out transport commit | commitdiff | tree | snapshot
2015-06-05 Simon HuberMerge branch 'hisoproj' into no_regular commit | commitdiff | tree | snapshot
2015-06-05 Simon HuberFinished eqToIso and removed constants for comp in U commit | commitdiff | tree | snapshot
2015-06-04 Anders MörtbergUpdate squeezeHIT commit | commitdiff | tree | snapshot
2015-06-04 Simon HuberEquality to isomorphism (wip) commit | commitdiff | tree | snapshot
2015-06-04 Anders Mörtbergdefine trans in terms of gencomp commit | commitdiff | tree | snapshot
2015-06-04 Simon HuberAdded fill as a term and comp is now genComp commit | commitdiff | tree | snapshot
2015-06-04 AndersAdd genComp and some examples for debugging commit | commitdiff | tree | snapshot
2015-06-04 Andersremove commented code commit | commitdiff | tree | snapshot
2015-06-04 Simon HuberAdapted HITs commit | commitdiff | tree | snapshot
2015-06-04 Simon HuberFix for neutral unglues commit | commitdiff | tree | snapshot
2015-06-04 Simon HuberAdded neutral values for unglue commit | commitdiff | tree | snapshot
2015-06-04 Simon HuberAdapted commit | commitdiff | tree | snapshot
2015-06-04 Simon HuberAdded constructor for comp in U commit | commitdiff | tree | snapshot
2015-06-03 Simon HuberFix use of compLine commit | commitdiff | tree | snapshot
2015-06-03 Anders MörtbergFix add_comm commit | commitdiff | tree | snapshot
2015-06-03 AndersisNeutralComp, small fixes to comp and comment things... commit | commitdiff | tree | snapshot
2015-06-03 Simon HuberAdapted prelude commit | commitdiff | tree | snapshot
2015-06-03 Simon HuberFinished first version commit | commitdiff | tree | snapshot
2015-06-03 Simon HuberAdapted compGlue commit | commitdiff | tree | snapshot
2015-06-02 Simon HuberStarted adapting for the non-regular setting (wip) commit | commitdiff | tree | snapshot
2015-05-18 AndersAdd direct proof that s2 is trivial (for the HIT defini... commit | commitdiff | tree | snapshot
2015-05-16 coquandsimple examples on nat and list commit | commitdiff | tree | snapshot
2015-05-12 AndersIsomorphism of the direct and the susp definition of S2 commit | commitdiff | tree | snapshot
2015-05-11 AndersFix the bug in transport and add optimizations to compE... commit | commitdiff | tree | snapshot
2015-05-08 AndersAdd exchange law and genPiS3 commit | commitdiff | tree | snapshot
2015-05-08 AndersChange order in checkPathSystem commit | commitdiff | tree | snapshot
2015-05-06 AndersAdd check that systems don't contain the same face... commit | commitdiff | tree | snapshot
2015-05-06 AndersThe loop space of the torus is equal to Z * Z commit | commitdiff | tree | snapshot
2015-05-06 AndersCleaning commit | commitdiff | tree | snapshot
2015-05-06 AndersClean helix commit | commitdiff | tree | snapshot
2015-05-06 AndersMore efficient implementation of environments commit | commitdiff | tree | snapshot
2015-05-05 Anders MörtbergComment the two slowest tests in mystery commit | commitdiff | tree | snapshot
2015-05-05 Anders MörtbergAdd optimization to act commit | commitdiff | tree | snapshot
2015-05-05 Anders MörtbergAdd new proof that loopS1 is a set commit | commitdiff | tree | snapshot
2015-05-05 mortbergMerge pull request #10 from dlicata335/master commit | commitdiff | tree | snapshot
2015-05-05 Dan Licatacleaned up mystery.ctt for inclusion in repository... commit | commitdiff | tree | snapshot
2015-05-05 Anders MörtbergSwap test2 and test3 to correspond to what is in cubical commit | commitdiff | tree | snapshot
next
My fork of cubicaltt with web interface using Reflex.