IntersectMBO / formal-ledger-specifications

Formal specifications of the cardano ledger

Apache License 2.0

36 stars 13 forks source link

Fix FOD sha for agda-stdlib-classes #476

Closed locallycompact closed 3 months ago

locallycompact commented 3 months ago

Description

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