Code

Added Z mod n as Fin#2073

Code

Closed

guilhermehas wants to merge 25 commits intoagda:masteragda/agda-stdlib:masterfrom guilhermehas:ModFinguilhermehas/agda-stdlib:ModFinCopy head branch name to clipboard

+252

Commits

Commits on Aug 27, 2023

• Added Z mod n as Fin

  guilhermehas

  committed
  19566db

  Copy full SHA for 19566db

Commits on Oct 7, 2023

• Merge branch 'master' into ModFin

  guilhermehas

  committed
  94d8aa9

  Copy full SHA for 94d8aa9

• changed suc and pred definitions

  guilhermehas

  committed
  c87e35a

  Copy full SHA for c87e35a

Commits on Oct 8, 2023

• removed addition and added new identity

  guilhermehas

  committed
  af96faa

  Copy full SHA for af96faa

• removed unnecessary implicit arguments

  guilhermehas

  committed
  7e6a392

  Copy full SHA for 7e6a392

• removed unnecessary identity part

  guilhermehas

  committed
  467b190

  Copy full SHA for 467b190

• added my modifications to CHANGELOG

  guilhermehas

  committed
  600035c

  Copy full SHA for 600035c

Commits on Oct 20, 2023

• added induction

  guilhermehas

  committed
  5cdbaf7

  Copy full SHA for 5cdbaf7

Commits on Oct 21, 2023

• added a little change

  guialvares

  committed
  e64b543

  Copy full SHA for e64b543

Commits on Dec 27, 2023

• Merge branch 'master' into ModFin

  MatthewDaggitt

  authored
  d3d4770

  Copy full SHA for d3d4770

Commits on Jan 4, 2024

• added modifications

  guialvares

  committed
  1d28e8e

  Copy full SHA for 1d28e8e

• changed Mod to properties

  guialvares

  committed
  3773f2c

  Copy full SHA for 3773f2c

• added header

  guialvares

  committed
  e853059

  Copy full SHA for e853059

• added changes to CHANGELOG

  guialvares

  committed
  fccf44d

  Copy full SHA for fccf44d

Commits on Jan 15, 2024

• Minor refactorings

  MatthewDaggitt

  committed
  e7edaee

  Copy full SHA for e7edaee

• changed + definition

  guialvares

  committed
  ab5493d

  Copy full SHA for ab5493d

• added new _+_ to changelog

  guialvares

  committed
  7ccd05e

  Copy full SHA for 7ccd05e

Commits on Jan 16, 2024

• added new induction property

  guialvares

  committed
  644a8cb

  Copy full SHA for 644a8cb

• added induction to CHANGELOG

  guialvares

  committed
  417fa28

  Copy full SHA for 417fa28

• changed - definition

  guialvares

  committed
  4d3a4ab

  Copy full SHA for 4d3a4ab

• updated CHANGELOG

  guialvares

  committed
  84cc27b

  Copy full SHA for 84cc27b

Commits on Jan 18, 2024

• changed sucMod definition

  guialvares

  committed
  473ac6d

  Copy full SHA for 473ac6d

• added more properties of Fin Mod

  guialvares

  committed
  b539e70

  Copy full SHA for b539e70

Commits on Jan 19, 2024

• renamed zero+

  guialvares

  committed
  aeb1c4a

  Copy full SHA for aeb1c4a

• added suc+

  guialvares

  committed
  bdf0651

  Copy full SHA for bdf0651