diff options
| author | Jacques Comeaux <jacquesrcomeaux@protonmail.com> | 2024-06-11 11:22:59 -0500 |
|---|---|---|
| committer | Jacques Comeaux <jacquesrcomeaux@protonmail.com> | 2024-06-11 11:22:59 -0500 |
| commit | e293371f59d1d8d2786cde5ef29182499d560d42 (patch) | |
| tree | fcecc27fcf1605affe0fb9523e478d54c7cbe8a0 /FinMerge.agda | |
| parent | c3982b7fd9561fec34e60b28c0f20f03e9926f81 (diff) | |
Begin defining category of cospans
Diffstat (limited to 'FinMerge.agda')
0 files changed, 0 insertions, 0 deletions