search

input-output-hk / ouroboros-high-assurance

High-assurance implementation of the Ouroboros protocol family
Apache License 2.0
1 stars 1 forks source link

Implement the dummy protocols using programs #63

Closed jeltsch closed 1 year ago

jeltsch commented 1 year ago

This resolves #62.