Plutonomicon / plutarch-plutus

Typed eDSL for writing UPLC /ˈpluː.tɑːk/
MIT License
123 stars 63 forks source link

Added another example, please check if correct #588

Closed lemmon-714 closed 1 year ago

lemmon-714 commented 1 year ago

Am uncertain whether a) this is correct at all b) the usage of h's and P's is correct

Also, please let me know in case I'm using the system incorrectly and should instead ask on discord first, thank you.

I added it below instead of editing the existing one since the latter way might mess with the didactic flow.