search

input-output-hk / implementation-decisions

A repository for all concrete decisions made about how to implement the formal specs
Other
5 stars 5 forks source link

Update reference to cardano-ledger-specs #15

Closed ruhatch closed 5 years ago