diff options
| author | Jacques Comeaux <jacquesrcomeaux@protonmail.com> | 2026-01-01 14:31:42 -0600 |
|---|---|---|
| committer | Jacques Comeaux <jacquesrcomeaux@protonmail.com> | 2026-01-01 14:31:42 -0600 |
| commit | f84a8d1bf9525aa9a005c1a31045b7685c6ac059 (patch) | |
| tree | cfb443dfa8f1084a699ee32be55a6fc1200741e0 /Functor/Instance/List.agda | |
| parent | db3f4ec746f270cab4142dda8ea3f3c1a25d2dd6 (diff) | |
Update push, pull, and sys functors
Diffstat (limited to 'Functor/Instance/List.agda')
0 files changed, 0 insertions, 0 deletions