Code

Triangular numbers#1044

Code

Merged

felixwellen merged 12 commits intomasteragda/cubical:masterfrom fwellen/triangularagda/cubical:fwellen/triangularCopy head branch name to clipboardJan 25, 2024

+127-22

Commits

Commits on Jan 25, 2024

• triangular numbers

  felixwellen

  committed
  adf0cf3

  Copy full SHA for adf0cf3

• add instance for nat

  felixwellen

  committed
  6d701f7

  Copy full SHA for 6d701f7

• export naturals

  felixwellen

  committed
  2b0458a

  Copy full SHA for 2b0458a

• add forgetter

  felixwellen

  committed
  a4ddbba

  Copy full SHA for a4ddbba

• update

  felixwellen

  committed
  2fa0bf7

  Copy full SHA for 2fa0bf7

• export more, to make the use of Nat as a CSR more natural

  felixwellen

  committed
  b1780ab

  Copy full SHA for b1780ab

• update references, cosmetics

  felixwellen

  committed
  8e207fc

  Copy full SHA for 8e207fc

• organize imports

  felixwellen

  committed
  c71f021

  Copy full SHA for c71f021

• Cleanup

  felixwellen

  committed
  276dd4e

  Copy full SHA for 276dd4e

• cleanup, remove reexport of Nat, suc, zero

  felixwellen

  committed
  b189e4a

  Copy full SHA for b189e4a

• qualify import

  felixwellen

  committed
  1e9c959

  Copy full SHA for 1e9c959

• description

  felixwellen

  committed
  44cb52c

  Copy full SHA for 44cb52c