diff options
| author | Jacques Comeaux <jacquesrcomeaux@protonmail.com> | 2026-07-12 23:18:58 -0700 |
|---|---|---|
| committer | Jacques Comeaux <jacquesrcomeaux@protonmail.com> | 2026-07-12 23:18:58 -0700 |
| commit | cdcf0ebd6432799f6b7a3656437fb01d1ff79966 (patch) | |
| tree | 2ef266019dd73b16093345cf90b4fa42a30459be /NaturalTransformation/Instance/GateSemantics.agda | |
| parent | c183a87165f9934864e9060d817dbf94b377740e (diff) | |
Derive cartesian from semiadditive dagger
Diffstat (limited to 'NaturalTransformation/Instance/GateSemantics.agda')
0 files changed, 0 insertions, 0 deletions