Code

Update to Agda 2.6.4#814

Code

Merged

EgbertRijke merged 22 commits intoUniMath:masterUniMath/agda-unimath:masterfrom fredrik-bakke:agda-v2.6.4fredrik-bakke/agda-unimath:agda-v2.6.4Copy head branch name to clipboardNov 25, 2023

+44-23

Commits

Commits on Oct 7, 2023

• set --level-universe flag

  fredrik-bakke

  committed
  f8af639

  Copy full SHA for f8af639

• bump agda version to 2.6.4

  fredrik-bakke

  committed
  e7f688f

  Copy full SHA for e7f688f

Commits on Oct 16, 2023

• Merge branch 'master' into agda-v2.6.4

  EgbertRijke

  authored
  707cd25

  Copy full SHA for 707cd25

• Merge branch 'master' into agda-v2.6.4

  fredrik-bakke

  authored
  ca8e22a

  Copy full SHA for ca8e22a

• Revert --level-universe

  fredrik-bakke

  authored
  d6cc503

  Copy full SHA for d6cc503

• Merge branch 'master' into agda-v2.6.4

  fredrik-bakke

  authored
  6d4d9ab

  Copy full SHA for 6d4d9ab

Commits on Oct 18, 2023

• fix links

  fredrik-bakke

  committed
  8796a1e

  Copy full SHA for 8796a1e

• Merge branch 'master' into agda-v2.6.4

  fredrik-bakke

  authored
  6517193

  Copy full SHA for 6517193

• pre-commit

  fredrik-bakke

  committed
  3e76907

  Copy full SHA for 3e76907

• Merge branch 'master' into agda-v2.6.4

  fredrik-bakke

  authored
  c9f67c9

  Copy full SHA for c9f67c9

Commits on Oct 21, 2023

• Merge branch 'master' into agda-v2.6.4

  fredrik-bakke

  authored
  47bb66d

  Copy full SHA for 47bb66d

Commits on Oct 30, 2023

• Merge branch 'master' into agda-v2.6.4

  fredrik-bakke

  authored
  c0254f8

  Copy full SHA for c0254f8

Commits on Nov 11, 2023

• Merge branch 'master' into agda-v2.6.4

  fredrik-bakke

  authored
  616fe6b

  Copy full SHA for 616fe6b

• bump wenkokke/setup-agda

  fredrik-bakke

  committed
  97b1ed3

  Copy full SHA for 97b1ed3

Commits on Nov 14, 2023

• Update DESIGN-PRINCIPLES.md

  fredrik-bakke

  authored
  0d579e4

  Copy full SHA for 0d579e4

• Merge branch 'master' into agda-v2.6.4

  fredrik-bakke

  authored
  b21ec9b

  Copy full SHA for b21ec9b

• Bump nixpkgs for Agda 2.6.4

  Show description for 22229c3
  VojtechStep

  committed
  22229c3

  Copy full SHA for 22229c3

• Merge pull request #3 from VojtechStep/agda-v2.6.4

  Show description for 3e34ff2
  fredrik-bakke

  authored
  3e34ff2

  Copy full SHA for 3e34ff2

Commits on Nov 23, 2023

• Merge branch 'master' into agda-v2.6.4

  fredrik-bakke

  authored
  ed43cd2

  Copy full SHA for ed43cd2

Commits on Nov 24, 2023

• Merge branch 'master' into agda-v2.6.4

  fredrik-bakke

  authored
  341bf17

  Copy full SHA for 341bf17

Commits on Nov 25, 2023

• Merge branch 'master' into agda-v2.6.4

  EgbertRijke

  authored
  a4eb29d

  Copy full SHA for a4eb29d

• Merge branch 'master' into agda-v2.6.4

  EgbertRijke

  authored
  afcab4f

  Copy full SHA for afcab4f