diff options
| author | Jacques Comeaux <jacquesrcomeaux@protonmail.com> | 2025-12-06 16:53:08 -0600 |
|---|---|---|
| committer | Jacques Comeaux <jacquesrcomeaux@protonmail.com> | 2025-12-06 16:53:08 -0600 |
| commit | 826b0b6007249ef518c5cff458ce6dc5c95fd43a (patch) | |
| tree | 9413a1421d520f5d24635b670832c7994b18d255 /Functor/Instance/Decorate.agda | |
| parent | 70fbd45702021e14b93bc294c4c1fa02c5c4758e (diff) | |
Update free and forgetful monoid functors
Diffstat (limited to 'Functor/Instance/Decorate.agda')
0 files changed, 0 insertions, 0 deletions