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-5905: Proof-reading specification #190

Closed yveshauser closed 1 year ago

yveshauser commented 1 year ago

This PR fixes minor issues in the Marlowe specification document. In addition it proposes some changes in chapter 1.

yveshauser commented 1 year ago

Just a few corrections are needed.

Thanks a lot @bwbush