search

pufferffish / agda-symmetries

MIT License
5 stars 1 forks source link

Show that List A has all the monoidal coherences #49

Closed github-actions[bot] closed 8 months ago

github-actions[bot] commented 1 year ago

https://api.github.com/pufferffish/agda-symmetries/blob/0ff92bdb19aba58e89e9690583a23f811cdcca95/Cubical/Structures/Gpd/Mon/List.agda#L1


-- TODO: Show that List A has all the monoidal coherences

{-# OPTIONS --cubical #-}
module Cubical.Structures.Gpd.Mon.List where
github-actions[bot] commented 8 months ago

Closed in 6932d2673de844e3070dcaac4c47b0730726c444