diff options
| author | Jacques Comeaux <jacquesrcomeaux@protonmail.com> | 2025-10-30 17:20:33 -0500 |
|---|---|---|
| committer | Jacques Comeaux <jacquesrcomeaux@protonmail.com> | 2025-10-30 17:20:33 -0500 |
| commit | a34e05e875802477f8794ecb330b01c473c024c4 (patch) | |
| tree | 5d7edd74a169b182be670dc9aff961fe9cc22065 /Functor/Instance/List.agda | |
| parent | 716411e0c02f5900d7ef81d1ca08f8b83dc13351 (diff) | |
Make list natural transformations level-polymorphic
Diffstat (limited to 'Functor/Instance/List.agda')
0 files changed, 0 insertions, 0 deletions