Code

Remove some unused imports#732

Code

Merged

mortberg merged 2 commits intoagda:masteragda/cubical:masterfrom MatthiasHu:unused-importsMatthiasHu/cubical:unused-importsCopy head branch name to clipboardMar 10, 2022

-11

Commits

Commits on Mar 3, 2022

• remove some unused imports in RingSolver

  MatthiasHu

  committed
  fabf031

  Copy full SHA for fabf031

Commits on Mar 8, 2022

• remove some more unused imports (found with agda-unused)

  MatthiasHu

  committed
  74d1e10

  Copy full SHA for 74d1e10