Code

(Partial) fix for issue #1688#2254

Code

Merged

MatthewDaggitt merged 2 commits intoagda:masteragda/agda-stdlib:masterfrom jamesmckinna:issue1688jamesmckinna/agda-stdlib:issue1688Copy head branch name to clipboardFeb 5, 2024

Commits

Commits on Jan 12, 2024

• fixes issue agda#1688

  jamesmckinna

  committed
  9482956

  Copy full SHA for 9482956

Commits on Jan 31, 2024

• Merge branch 'master' into issue1688

  jamesmckinna

  authored
  0bcabb9

  Copy full SHA for 0bcabb9