Code

Define (sequentially) compact types#947

Code

Merged

EgbertRijke merged 7 commits intoUniMath:masterUniMath/agda-unimath:masterfrom fredrik-bakke:compactfredrik-bakke/agda-unimath:compactCopy head branch name to clipboardNov 27, 2023

+129-3

Commits

Commits on Nov 26, 2023

• define compact types

  fredrik-bakke

  committed
  02604ec

  Copy full SHA for 02604ec

• fix imports

  fredrik-bakke

  committed
  4e0e414

  Copy full SHA for 4e0e414

• small fixes

  fredrik-bakke

  committed
  65e4009

  Copy full SHA for 65e4009

• fix a word

  fredrik-bakke

  committed
  03babee

  Copy full SHA for 03babee

Commits on Nov 27, 2023

• rename to sequentially compact

  fredrik-bakke

  committed
  391ec85

  Copy full SHA for 391ec85

• add diagrams

  fredrik-bakke

  committed
  b2982f4

  Copy full SHA for b2982f4

• Merge branch 'master' into compact

  fredrik-bakke

  authored
  63048fd

  Copy full SHA for 63048fd