Code

Unary integers#1964

Code

Merged

Alizter merged 8 commits intoHoTT:masterHoTT/Coq-HoTT:masterfrom Alizter:unary-intAlizter/HoTT:unary-intCopy head branch name to clipboardMay 23, 2024

+539-7

Commits

Commits on May 18, 2024

• Unary integers

  Show description for 0938eee
  Alizter

  committed
  0938eee

  Copy full SHA for 0938eee

Commits on May 19, 2024

• review suggestions

  Show description for d86c4fb
  Alizter

  committed
  d86c4fb

  Copy full SHA for d86c4fb

Commits on May 20, 2024

• define Int add/mul by induction

  Show description for deaf702
  Alizter

  committed
  deaf702

  Copy full SHA for deaf702

Commits on May 22, 2024

• 3 constructor definition of Int

  Show description for 0811b18
  Alizter

  committed
  0811b18

  Copy full SHA for 0811b18

• more comments

  Show description for 8a66911
  Alizter

  committed
  8a66911

  Copy full SHA for 8a66911

• fix whitespace

  Show description for 85090ef
  Alizter

  committed
  85090ef

  Copy full SHA for 85090ef

Commits on May 23, 2024

• Spaces/Int: minor clean-ups

  jdchristensen

  committed
  d02a547

  Copy full SHA for d02a547

• open and delimit scope after declaration

  Show description for 4a389b4
  Alizter

  committed
  4a389b4

  Copy full SHA for 4a389b4