Code

Path solver#1104

Code

Closed

marcinjangrzybowski wants to merge 6 commits intoagda:masteragda/cubical:masterfrom marcinjangrzybowski:groupoid-solvermarcinjangrzybowski/cubical:groupoid-solverCopy head branch name to clipboard

+831-4

Commits

Commits on Feb 17, 2024

• wip on coherences

  marcinjangrzybowski

  committed
  a738f20

  Copy full SHA for a738f20

Commits on Feb 20, 2024

• some examples

  marcinjangrzybowski

  committed
  152c87e

  Copy full SHA for 152c87e

• moved examples to seperate file

  marcinjangrzybowski

  committed
  76f9b65

  Copy full SHA for 76f9b65

• whitespace-fix

  marcinjangrzybowski

  committed
  fe27a3c

  Copy full SHA for fe27a3c

• added missing pragma

  marcinjangrzybowski

  committed
  fdb1bc4

  Copy full SHA for fdb1bc4

Commits on Feb 22, 2024

• anoother example

  marcinjangrzybowski

  committed
  1ea2fae

  Copy full SHA for 1ea2fae