Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Sep 21, 2023

• Move to latest LTS

  

  iho

  authored and

  mortberg

  committed
  9baa6f2

  Copy full SHA for 9baa6f2

Commits on Oct 16, 2018

• support hcomp in typechecker

  

  Anders Mörtberg

  committed
  a5c6f94

  Copy full SHA for a5c6f94

• add parsing of hComp

  

  Anders Mörtberg

  committed
  d48d58d

  Copy full SHA for d48d58d

Commits on Sep 19, 2018

• fix eta for glue (note: the type is still missing from unglue, compare with unglueU)

  mortberg

  committed
  963c6f3

  Copy full SHA for 963c6f3

Commits on Sep 16, 2018

• define pointed maps, and prove some equivalences between types involving pointed maps

  

  Floris van Doorn

  authored and

  mortberg

  committed
  f54278f

  Copy full SHA for f54278f

Commits on Jun 10, 2018

• don't truncate error messages so much

  mortberg

  committed
  452d973

  Copy full SHA for 452d973

• make cubicaltt compile with the latest version of GHC

  mortberg

  committed
  67a2210

  Copy full SHA for 67a2210

Commits on May 25, 2018

• Make GNUmakefile more customizable.

  

  favonia

  authored and

  mortberg

  committed
  daf2766

  Copy full SHA for daf2766

Commits on Apr 25, 2018

• fix indentation in univalenceAlt

  mortberg

  committed
  850be44

  Copy full SHA for 850be44

Commits on Apr 19, 2018

• opaque uaret

  mortberg

  committed
  a7d01e2

  Copy full SHA for a7d01e2

• copy over brunerie.ctt from hcomptrans branch. some computations are very slow

  mortberg

  committed
  f13541b

  Copy full SHA for f13541b

• add 5th winding number

  mortberg

  committed
  d2cd044

  Copy full SHA for d2cd044

Commits on Apr 9, 2018

• Clean up isoToEquiv proof with Anders.

  

  cangiuli

  authored and

  mortberg

  committed
  bf8253f

  Copy full SHA for bf8253f

Commits on Feb 23, 2018

• add an alternative proof of J

  mortberg

  committed
  7f3c7a7

  Copy full SHA for 7f3c7a7

Commits on Feb 10, 2018

• clarify PathP vs Path

  mortberg

  committed
  84053d1

  Copy full SHA for 84053d1

Commits on Dec 6, 2017

• proof relating function part of transEquiv to transEquivDirect

  mortberg

  committed
  682e9f6

  Copy full SHA for 682e9f6

Commits on Nov 20, 2017

• comments

  mortberg

  committed
  55af742

  Copy full SHA for 55af742

• simplify more

  mortberg

  committed
  8e0d6e6

  Copy full SHA for 8e0d6e6

• improve uaret

  mortberg

  committed
  7a6d2ea

  Copy full SHA for 7a6d2ea

Commits on Nov 18, 2017

• update lectures

  mortberg

  committed
  d7751c7

  Copy full SHA for d7751c7

Commits on Nov 14, 2017

• unfolded version of propIsEquivDirect

  mortberg

  committed
  6b26f79

  Copy full SHA for 6b26f79

Commits on Nov 11, 2017

• direct proof that being an equiv is a prop

  mortberg

  committed
  c361256

  Copy full SHA for c361256

Commits on Nov 8, 2017

• delete 'primitive' keyword from emacs mode

  

  cangiuli

  authored and

  mortberg

  committed
  a867f3d

  Copy full SHA for a867f3d

• rudimentary vim syntax file

  

  cangiuli

  authored and

  mortberg

  committed
  5743434

  Copy full SHA for 5743434

Commits on Nov 6, 2017

• plug functor to recursion schemes

  

  5HT

  authored and

  mortberg

  committed
  386a6cb

  Copy full SHA for 386a6cb

• Create lambek.ctt

  Show description for 401d585
  

  5HT

  authored and

  mortberg

  committed
  401d585

  Copy full SHA for 401d585

• Create control.ctt

  

  5HT

  authored and

  mortberg

  committed
  53a8663

  Copy full SHA for 53a8663

Commits on Nov 3, 2017

• update lectures

  mortberg

  committed
  3d3e890

  Copy full SHA for 3d3e890

Commits on Oct 30, 2017

• direct proofs that things are sets

  mortberg

  committed
  0cdd084

  Copy full SHA for 0cdd084

Commits on Sep 25, 2017

• test travis for PRs

  mortberg

  committed
  747f5ba

  Copy full SHA for 747f5ba

• test travis

  mortberg

  committed
  aa4fdae

  Copy full SHA for aa4fdae

Commits on Sep 24, 2017

• .gitignore .stack-work, vim swap files

  

  vlopezj

  authored and

  mortberg

  committed
  49e6f03

  Copy full SHA for 49e6f03

• Build with stack LTS 9.5 resolver

  

  vlopezj

  authored and

  mortberg

  committed
  b58e292

  Copy full SHA for b58e292

• use foldrWithKey instead of foldWithKey to eliminate warnings

  mortberg

  committed
  dc53dee

  Copy full SHA for dc53dee

Commits on Sep 20, 2017

• cleaning

  mortberg

  committed
  69cb2ef

  Copy full SHA for 69cb2ef

Pagination

Previous

Next