Code

Central H-spaces#1116

Code

Open

EgbertRijke wants to merge 17 commits intoUniMath:masterUniMath/agda-unimath:masterfrom EgbertRijke:central-typesEgbertRijke/agda-unimath:central-typesCopy head branch name to clipboard

+2,046-347

Commits

Commits on Apr 17, 2024

• work on h-spaces

  EgbertRijke

  committed
  7bafd13

  Copy full SHA for 7bafd13

• mere units of H-spaces

  EgbertRijke

  committed
  d8212d7

  Copy full SHA for d8212d7

• make pre-commit

  EgbertRijke

  committed
  45151ed

  Copy full SHA for 45151ed

• Merge branch 'master' of github.com:UniMath/agda-unimath into central-types

  EgbertRijke

  committed
  9e3504f

  Copy full SHA for 9e3504f

Commits on Apr 18, 2024

• work on h-spaces

  EgbertRijke

  committed
  17006b6

  Copy full SHA for 17006b6

• make pre-commit

  EgbertRijke

  committed
  9de82b8

  Copy full SHA for 9de82b8

• fix bug

  EgbertRijke

  committed
  7efc582

  Copy full SHA for 7efc582

• finishing the PR

  EgbertRijke

  committed
  66806f8

  Copy full SHA for 66806f8

• Merge branch 'master' of github.com:UniMath/agda-unimath into central-types

  EgbertRijke

  committed
  7136609

  Copy full SHA for 7136609

• fix broken link

  EgbertRijke

  committed
  86da965

  Copy full SHA for 86da965

Commits on May 25, 2024

• Merge branch 'master' of github.com:UniMath/agda-unimath into central-types

  EgbertRijke

  committed
  d3299f3

  Copy full SHA for d3299f3

Commits on Jun 1, 2024

• work on mere identity systems

  EgbertRijke

  committed
  be7baa3

  Copy full SHA for be7baa3

Commits on Jun 3, 2024

• adding files

  EgbertRijke

  committed
  be1dc8d

  Copy full SHA for be1dc8d

• Merge branch 'master' of github.com:UniMath/agda-unimath into central-types

  EgbertRijke

  committed
  45e2559

  Copy full SHA for 45e2559

Commits on Aug 22, 2024

• Merge branch 'master' of https://github.com/UniMath/agda-unimath into central-types

  EgbertRijke

  committed
  3be4ef5

  Copy full SHA for 3be4ef5

• Merge branch 'master' of https://github.com/UniMath/agda-unimath into central-types

  EgbertRijke

  committed
  3068dd5

  Copy full SHA for 3068dd5

• filling some holes in mere identity systems

  EgbertRijke

  committed
  9fadc31

  Copy full SHA for 9fadc31