Code

Add more properties for xor#2035

Code

Merged

MatthewDaggitt merged 8 commits intoagda:masteragda/agda-stdlib:masterfrom Saransh-cpp:xor-propertiesSaransh-cpp/agda-stdlib:xor-propertiesCopy head branch name to clipboardAug 11, 2023

Commits

Commits on Jul 28, 2023

• Add more properties for xor

  Saransh-cpp

  committed
  a02a66c

  Copy full SHA for a02a66c

• Update CHANGELOG

  Saransh-cpp

  committed
  b0fc90f

  Copy full SHA for b0fc90f

• Typo

  Saransh-cpp

  authored
  7a08f11

  Copy full SHA for 7a08f11

Commits on Jul 29, 2023

• Rename some properties

  Saransh-cpp

  committed
  2597bfb

  Copy full SHA for 2597bfb

• Merge branch 'xor-properties' of https://github.com/Saransh-cpp/agda-stdlib into xor-properties

  Saransh-cpp

  committed
  3dcff8b

  Copy full SHA for 3dcff8b

Commits on Jul 31, 2023

• Refactor existing and add new properties

  Saransh-cpp

  committed
  a2873f2

  Copy full SHA for a2873f2

Commits on Aug 1, 2023

• Refine more properties

  Saransh-cpp

  committed
  60e0a16

  Copy full SHA for 60e0a16

Commits on Aug 11, 2023

• Update CHANGELOG

  Saransh-cpp

  committed
  6218e79

  Copy full SHA for 6218e79