diff options
| author | Jacques Comeaux <jacquesrcomeaux@protonmail.com> | 2026-07-19 12:31:03 -0700 |
|---|---|---|
| committer | Jacques Comeaux <jacquesrcomeaux@protonmail.com> | 2026-07-19 12:31:03 -0700 |
| commit | 1528b2a49c0f006bdeff25a46f8f7ab6c23c73fd (patch) | |
| tree | 5835961165030106816fa9cbf2b1425a91b3b8e8 /Data/Circuit/Gate.agda | |
| parent | d9ede0379448f50a553af4b91ce835836e712bc3 (diff) | |
Simplify wiring diagrams using semiadditive daggermain
Diffstat (limited to 'Data/Circuit/Gate.agda')
0 files changed, 0 insertions, 0 deletions