Code

DiffInt≡Int#523

Code

Merged

ecavallo merged 4 commits intoagda:masteragda/cubical:masterfrom LuuBluum:diffIntLuuBluum/cubical:diffIntCopy head branch name to clipboardApr 9, 2021

Commits

Commits on Mar 20, 2021

• Prove identity between Int and diffInt.

  

  djeis97

  authored and

  LuuBluum

  committed
  5e4b814

  Copy full SHA for 5e4b814

• Unexpose NxN details

  

  LuuBluum

  committed
  391abd7

  Copy full SHA for 391abd7

• Update to changed names

  

  LuuBluum

  committed
  0888f6d

  Copy full SHA for 0888f6d

• Move imports around, clean up

  

  LuuBluum

  committed
  9fe5fb6

  Copy full SHA for 9fe5fb6