Code

+Int≡+#1028

Code

Merged

felixwellen merged 5 commits intoagda:masteragda/cubical:masterfrom timorl:koalatimorl/cubical:koalaCopy head branch name to clipboardAug 29, 2023

+100-7

Commits

Commits on Aug 25, 2023

• +Int≡+

  

  timorl

  committed
  f6fa27d

  Copy full SHA for f6fa27d

• Whoops, I just now found funExt2

  

  timorl

  committed
  56f69b7

  Copy full SHA for 56f69b7

• Various style improvements

  

  timorl

  committed
  99edfc9

  Copy full SHA for 99edfc9

• Reformat equality sequences

  

  timorl

  committed
  49ff7c2

  Copy full SHA for 49ff7c2

• Rename, export and flip IsHom+

  

  timorl

  committed
  b628a4a

  Copy full SHA for b628a4a