WIP

IntersectMBO · Oct 9, 2024 · 30c7d2e · 30c7d2e
1 parent 4bfd075
commit 30c7d2e
Showing 1 changed file with 0 additions and 4 deletions.
diff --git a/src/Ledger/Conway/Conformance/Utxo.agda b/src/Ledger/Conway/Conformance/Utxo.agda
@@ -34,10 +34,6 @@ certDepositUtxo (delegate c _ _ v) _   = ❴ CredentialDeposit c , v ❵
 certDepositUtxo (regdrep c v _)    _   = ❴ DRepDeposit c , v ❵
 certDepositUtxo _                  _   = ∅
 
--- -- Handle refunds in Certs.Haskell module.
--- certRefund : DCert → ℙ DepositPurpose
-
-
 updateCertDeposits  : PParams → List DCert → (DepositPurpose ⇀ Coin)
                     → DepositPurpose ⇀ Coin
 updateCertDeposits _   []              deposits = deposits