Agda typo

IntersectMBO · May 31, 2024 · ea7431e · ea7431e
1 parent 6b23686
commit ea7431e
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/plutus-metatheory/src/Cost/Raw.lagda.md b/plutus-metatheory/src/Cost/Raw.lagda.md
@@ -95,8 +95,8 @@ record TwoVariableQuadraticFunction : Set where
         coeff10 : CostingNat
         coeff01 : CostingNat
         coeff20 : CostingNat
-        coefr11 : CostingNat
-        coefr02 : CostingNat
+        coeff11 : CostingNat
+        coeff02 : CostingNat
 
 {-# COMPILE GHC TwoVariableQuadraticFunction = data TwoVariableQuadraticFunction(TwoVariableQuadraticFunction) #-}