Code

Agda version 2.7.0#1238

Code

Merged

fredrik-bakke merged 8 commits intoUniMath:masterUniMath/agda-unimath:masterfrom fredrik-bakke:agda-v2.7.0fredrik-bakke/agda-unimath:agda-v2.7.0Copy head branch name to clipboardJan 19, 2025

+63-26

Commits

Commits on Jan 18, 2025

• agda version 2.7.0.1

  fredrik-bakke

  committed
  a3fc1a9

  Copy full SHA for a3fc1a9

• update setup-agda

  fredrik-bakke

  committed
  440f52d

  Copy full SHA for 440f52d

• try 2.7.0_1

  fredrik-bakke

  committed
  ef08248

  Copy full SHA for ef08248

• try 2.7.0

  fredrik-bakke

  committed
  09a7dba

  Copy full SHA for 09a7dba

• use 2.7.0

  fredrik-bakke

  committed
  cfe68e1

  Copy full SHA for cfe68e1

• update reflection

  fredrik-bakke

  committed
  f74d0b6

  Copy full SHA for f74d0b6

• set flag --no-require-unique-meta-solutions

  fredrik-bakke

  committed
  2094d89

  Copy full SHA for 2094d89

• Fix flake

  VojtechStep

  committed
  a0530b6

  Copy full SHA for a0530b6