diff options
| author | Jacques Comeaux <jacquesrcomeaux@protonmail.com> | 2025-10-29 12:52:04 -0500 |
|---|---|---|
| committer | Jacques Comeaux <jacquesrcomeaux@protonmail.com> | 2025-10-29 12:52:04 -0500 |
| commit | b651e4d5153fc360d1943de3b73e910fc1f2b7ff (patch) | |
| tree | 8e6c4f7b82b960835f170d9292678508a3791fa8 /Data/Circuit/Gate.agda | |
| parent | d69dc150a8f4eea8ec84dc19dd4e338fe507fd30 (diff) | |
Add Circuit type
Diffstat (limited to 'Data/Circuit/Gate.agda')
| -rw-r--r-- | Data/Circuit/Gate.agda | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Data/Circuit/Gate.agda b/Data/Circuit/Gate.agda index 8ce7e0a..f4b55de 100644 --- a/Data/Circuit/Gate.agda +++ b/Data/Circuit/Gate.agda @@ -108,8 +108,8 @@ _≟_ {n} x y = Dec.map′ toℕ-injective (cong (toℕ n)) (toℕ n x Nat.≟ t _≤?_ : {n : ℕ} → Decidable (n [_≤_]) _≤?_ {n} x y = toℕ n x Nat.≤? toℕ n y -GateLabel : HypergraphLabel -GateLabel = record +Gates : HypergraphLabel +Gates = record { Label = Gate ; showLabel = showGate ; isCastable = record |