search

input-output-hk / marlowe

Prototype implementation of domain-specific language for the design of smart-contracts over cryptocurrencies
Apache License 2.0
172 stars 43 forks source link

PLT-5369 - Simplification of some linorder instances #169

Closed hrajchert closed 1 year ago

hrajchert commented 1 year ago

~This PR is marked as Draft until PR 168 is merged.~

After applying the small fixes in PR 168 regarding the linorder instances, I saw that I could simplify them even further.