diff options
| author | Jacques Comeaux <jacquesrcomeaux@protonmail.com> | 2025-10-30 14:03:53 -0500 |
|---|---|---|
| committer | Jacques Comeaux <jacquesrcomeaux@protonmail.com> | 2025-10-30 14:03:53 -0500 |
| commit | 716411e0c02f5900d7ef81d1ca08f8b83dc13351 (patch) | |
| tree | b59319b7c48bc66bc6cd2a588315b3a7b96cb5d3 /Functor/Instance/List.agda | |
| parent | 18bba1a34b713ed00ede533a0c9aeeebfa4b52e8 (diff) | |
Add empty list and append natural transformationsmain
Diffstat (limited to 'Functor/Instance/List.agda')
0 files changed, 0 insertions, 0 deletions