diff options
| author | Jacques Comeaux <jacquesrcomeaux@protonmail.com> | 2026-03-14 13:08:58 -0500 |
|---|---|---|
| committer | Jacques Comeaux <jacquesrcomeaux@protonmail.com> | 2026-03-14 13:08:58 -0500 |
| commit | e52ff8ff8c0da0d579162b2a4d0f1e838ca85f31 (patch) | |
| tree | 55bf370b6c34f1764f79ee3418b18dbecdda08af /Category/Dagger/Semiadditive.agda | |
| parent | aada52132810a021a898f43daef5c90ced2a8bf0 (diff) | |
Allow square brackets in circuit lang identifiers
Diffstat (limited to 'Category/Dagger/Semiadditive.agda')
0 files changed, 0 insertions, 0 deletions