formal-ledger-specifications icon indicating copy to clipboard operation
formal-ledger-specifications copied to clipboard

Published 20 hours ago • verified publisher icon IntersectMBO

Align deposit calculations in the Haskell version of the spec with the implementation

Open Soupstraw opened this issue 4 months ago • 0 comments

In the implementation we store the deposits inside the DRep/PoolParams data structure. To align the Haskell version of the spec better with the implementation we should get rid of the deposits map and store them in the same way as in the implementation.

Soupstraw avatar Oct 07 '24 11:10 Soupstraw