diff options
| author | Jacques Comeaux <jacquesrcomeaux@protonmail.com> | 2026-07-09 10:24:03 -0700 |
|---|---|---|
| committer | Jacques Comeaux <jacquesrcomeaux@protonmail.com> | 2026-07-09 10:24:03 -0700 |
| commit | 50b9117ebac5f16db7b2ddc59c52a28129e0a618 (patch) | |
| tree | cce919ee920a9ac9f0f93efb05260c87338c8ae2 /Data/Circuit.agda | |
| parent | 6a0549f4c5a93a1817cd311440de156c3283ba27 (diff) | |
Include missing properties
Diffstat (limited to 'Data/Circuit.agda')
0 files changed, 0 insertions, 0 deletions