Code

[WIP] Add support for Agda 2.5.4#44

Code

Open

timjb wants to merge 4 commits intoHoTT:masterHoTT/HoTT-Agda:masterfrom timjb:agda-2.5.4timjb/HoTT-Agda:agda-2.5.4Copy head branch name to clipboard

Commits

Commits on Jun 9, 2018

• Fix groups.KernelImage in Agda 2.5.4

  Show description for 09142e3
  timjb

  committed
  09142e3

  Copy full SHA for 09142e3

• Work around internal error in Agda 2.5.4 when checking SpectrumModel

  Show description for 13d4ba5
  timjb

  committed
  13d4ba5

  Copy full SHA for 13d4ba5

• Fix cw.WedgeOfCells in Agda 2.5.4

  timjb

  committed
  f71c7c0

  Copy full SHA for f71c7c0

Commits on Jun 10, 2018

• Remove homotopy.GroupSetsRepresentCovers from index

  timjb

  committed
  b10275f

  Copy full SHA for b10275f