Code

Unbounded π-finite types#1168

Code

Merged

EgbertRijke merged 17 commits intoUniMath:masterUniMath/agda-unimath:masterfrom fredrik-bakke:unbounded-pi-finitenessfredrik-bakke/agda-unimath:unbounded-pi-finitenessCopy head branch name to clipboardJan 6, 2025

+752-100

Commits

Commits on Aug 24, 2024

• Unbounded π-finite types

  fredrik-bakke

  committed
  20f0095

  Copy full SHA for 20f0095

• typo

  fredrik-bakke

  committed
  125c6f6

  Copy full SHA for 125c6f6

• a remark about unfinished work

  fredrik-bakke

  committed
  fa4aef3

  Copy full SHA for fa4aef3

• typecheck

  fredrik-bakke

  committed
  b8a04e9

  Copy full SHA for b8a04e9

• imports

  fredrik-bakke

  committed
  f3059ab

  Copy full SHA for f3059ab

Commits on Aug 26, 2024

• some section changes finitely-many-connected-components

  fredrik-bakke

  committed
  57b5b6d

  Copy full SHA for 57b5b6d

• unqoute a thing

  fredrik-bakke

  committed
  493b07a

  Copy full SHA for 493b07a

Commits on Sep 24, 2024

• Update unbounded-pi-finite-types.lagda.md

  fredrik-bakke

  authored
  1ff249e

  Copy full SHA for 1ff249e

• Merge branch 'master' into unbounded-pi-finiteness

  fredrik-bakke

  authored
  e8d63d5

  Copy full SHA for e8d63d5

Commits on Sep 25, 2024

• Merge branch 'master' into unbounded-pi-finiteness

  fredrik-bakke

  authored
  a0754cd

  Copy full SHA for a0754cd

Commits on Oct 15, 2024

• Merge branch 'master' into unbounded-pi-finiteness

  fredrik-bakke

  authored
  ca34b3c

  Copy full SHA for ca34b3c

Commits on Nov 21, 2024

• Merge branch 'master' into unbounded-pi-finiteness

  fredrik-bakke

  authored
  5002b7a

  Copy full SHA for 5002b7a

• fix

  fredrik-bakke

  committed
  c44e361

  Copy full SHA for c44e361

Commits on Dec 4, 2024

• Merge branch 'master' into unbounded-pi-finiteness

  fredrik-bakke

  authored
  85df4fa

  Copy full SHA for 85df4fa

Commits on Jan 6, 2025

• Merge branch 'master' into unbounded-pi-finiteness

  fredrik-bakke

  authored
  f4b0678

  Copy full SHA for f4b0678

• remove quote block

  fredrik-bakke

  committed
  7826f6c

  Copy full SHA for 7826f6c

• cite Anel24

  fredrik-bakke

  committed
  087d702

  Copy full SHA for 087d702