diff options
| author | Jacques Comeaux <jacquesrcomeaux@protonmail.com> | 2025-10-30 17:45:31 -0500 |
|---|---|---|
| committer | Jacques Comeaux <jacquesrcomeaux@protonmail.com> | 2025-10-30 17:45:31 -0500 |
| commit | e90c54ce55d36019d32e239509ff5f96c5dff2b3 (patch) | |
| tree | fcef274fccc7feab91d1bb84c365c81495cbe52d /NaturalTransformation/Instance/EmptyList.agda | |
| parent | a34e05e875802477f8794ecb330b01c473c024c4 (diff) | |
Add free functor from setoids to monoids in setoids
Diffstat (limited to 'NaturalTransformation/Instance/EmptyList.agda')
0 files changed, 0 insertions, 0 deletions