Code

Missed rename of Precat to WildCat#1200

Code

Open

anshwad10 wants to merge 3 commits intoagda:masteragda/cubical:masterfrom

anshwad10:monoidal-wildcatanshwad10/cubical:monoidal-wildcatCopy head branch name to clipboard

Commits

Commits on Feb 28, 2025

• Missed rename of Precat to WildCat

  anshwad10

  authored
  52c12b3

  Copy full SHA for 52c12b3

• Update SmashProducts.agda

  Show description for 4e80cd2
  anshwad10

  authored
  4e80cd2

  Copy full SHA for 4e80cd2

Commits on May 25, 2025

• Merge branch 'agda:master' into monoidal-wildcat

  anshwad10

  authored
  0a4da42

  Copy full SHA for 0a4da42