Code

Some modular arithmetic#550

Code

Merged

ecavallo merged 20 commits intoagda:masteragda/cubical:masterfrom aljungstrom:modularaljungstrom/cubical:modularCopy head branch name to clipboardNov 1, 2021

+326-33

Commits

Commits on Feb 22, 2021

• WIP

  felixwellen

  committed
  7371e84

  Copy full SHA for 7371e84

Commits on Mar 12, 2021

• Slow type checking problem

  felixwellen

  committed
  0e2daba

  Copy full SHA for 0e2daba

Commits on Mar 19, 2021

• stuff

  aljungstrom

  committed
  7ffce55

  Copy full SHA for 7ffce55

Commits on Mar 29, 2021

• incomplete stuff

  aljungstrom

  committed
  ec85c2e

  Copy full SHA for ec85c2e

Commits on Mar 31, 2021

• mod finished

  aljungstrom

  committed
  6cd11fb

  Copy full SHA for 6cd11fb

Commits on Apr 1, 2021

• shit

  aljungstrom

  committed
  74e7035

  Copy full SHA for 74e7035

Commits on Apr 6, 2021

• stuff

  aljungstrom

  committed
  66b2e6d

  Copy full SHA for 66b2e6d

• t

  aljungstrom

  committed
  37b54c4

  Copy full SHA for 37b54c4

• stuff

  aljungstrom

  committed
  48ac279

  Copy full SHA for 48ac279

• silly

  aljungstrom

  committed
  14cab47

  Copy full SHA for 14cab47

• merge

  aljungstrom

  committed
  e60d076

  Copy full SHA for e60d076

Commits on Apr 29, 2021

• Merge branch 'master' of https://github.com/agda/cubical into clean

  aljungstrom

  committed
  8e5b6b8

  Copy full SHA for 8e5b6b8

• stuff

  aljungstrom

  committed
  5966d9e

  Copy full SHA for 5966d9e

• name

  aljungstrom

  committed
  a596c66

  Copy full SHA for a596c66

Commits on Apr 30, 2021

• Merge branch 'master' of https://github.com/agda/cubical into modular

  aljungstrom

  committed
  6f72539

  Copy full SHA for 6f72539

Commits on Oct 28, 2021

• fix

  aljungstrom

  committed
  07ffdd2

  Copy full SHA for 07ffdd2

• wups

  aljungstrom

  committed
  91442ec

  Copy full SHA for 91442ec

• mininor

  aljungstrom

  committed
  2095c2c

  Copy full SHA for 2095c2c

Commits on Oct 29, 2021

• move to nat

  aljungstrom

  committed
  a397d1d

  Copy full SHA for a397d1d

Commits on Nov 1, 2021

• type sign

  aljungstrom

  committed
  51f7862

  Copy full SHA for 51f7862