issues
search
IntersectMBO
/
formal-ledger-specifications
Formal specifications of the cardano ledger
Apache License 2.0
32
stars
13
forks
source link
Fix wrong sha for stdlib-classes
#475
Closed
WhatisRT
closed
2 weeks ago
WhatisRT
commented
2 weeks ago
Description
Closes #473.
Checklist
[x] Commit sequence broadly makes sense and commits have useful messages
[x] Code is formatted according to
CONTRIBUTING.md
[x] Self-reviewed the diff
Description
Closes #473.
Checklist