search

IntersectMBO / formal-ledger-specifications

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

`stake` field of `BaseAddr` should be optional #606

Closed williamdemeo closed 1 week ago

williamdemeo commented 2 weeks ago

In Ledger.Address, stake : Credential should be stake : Maybe Credential.