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

Remove parenthesis around case patterns #80

Closed jeltsch closed 1 year ago

jeltsch commented 1 year ago

This resolves #78.