Code

Make join-assoc level-polymorphic#1204

Code

Open

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

ricky136973:join-assoc-level-polyricky136973/cubical:join-assoc-level-polyCopy head branch name to clipboard

Commits

Commits on May 5, 2025

• Add level polymorphism

  ricky136973

  committed
  78cff13

  Copy full SHA for 78cff13

Commits on May 20, 2025

• Generalize level polymorphism

  ricky136973

  committed
  6c8f25f

  Copy full SHA for 6c8f25f

• Merge remote-tracking branch 'upstream/master' into join-assoc-level-poly

  ricky136973

  committed
  6852366

  Copy full SHA for 6852366