diff options
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 |