search

IntersectMBO / formal-ledger-specifications

Formal specifications of the cardano ledger
Apache License 2.0
38 stars 13 forks source link

`deregdrep` needs to include a deposit amount #510

Closed WhatisRT closed 3 months ago

WhatisRT commented 4 months ago

When refunding deposits, we need to check that the amount matches.