Code

Free Commutative Monoid#719

Code

Merged

mortberg merged 9 commits intoagda:masteragda/cubical:masterfrom guilhermehas:free-com-monoidguilhermehas/cubical:free-com-monoidCopy head branch name to clipboardMar 13, 2022

+208

Commits

Commits on Feb 18, 2022

• added FreeComMonoids

  guilhermehas

  committed
  ce109c3

  Copy full SHA for ce109c3

• changed Fin n to A

  guilhermehas

  committed
  b11748e

  Copy full SHA for b11748e

• moved assoc list ++ to properties

  guilhermehas

  committed
  c7b9495

  Copy full SHA for c7b9495

• changed functions to from name

  guilhermehas

  committed
  b2c3393

  Copy full SHA for b2c3393

Commits on Mar 10, 2022

• Merge branch 'master' of github.com:agda/cubical into free-com-monoid

  guilhermehas

  committed
  45b09a7

  Copy full SHA for 45b09a7

• changed left to right in indentity commonoid

  guilhermehas

  committed
  eabd67a

  Copy full SHA for eabd67a

• changed equality name

  guilhermehas

  committed
  3fcb51e

  Copy full SHA for 3fcb51e

Commits on Mar 11, 2022

• removed FCMon≃AssocList

  guilhermehas

  committed
  2123b52

  Copy full SHA for 2123b52

• rename AssocList≃FCMon to +AssocList≃FreeComMonoid

  guilhermehas

  committed
  13a35cc

  Copy full SHA for 13a35cc