Code

Rename Set to Type#397

Code

Open

HeinrichApfelmus wants to merge 3 commits intoagda:masteragda/agda2hs:masterfrom HeinrichApfelmus:HeinrichApfelmus/set-to-typeHeinrichApfelmus/agda2hs:HeinrichApfelmus/set-to-typeCopy head branch name to clipboard

+362-329

Commits

Commits on Jan 31, 2025

• Rename Set to Type in Haskell.*

  HeinrichApfelmus

  committed
  8ed77ed

  Copy full SHA for 8ed77ed

• Rename Set to Type in examples

  HeinrichApfelmus

  committed
  36cb187

  Copy full SHA for 36cb187

Commits on Feb 1, 2025

• Rename Set to Type in tests

  HeinrichApfelmus

  committed
  fecee0b

  Copy full SHA for fecee0b