search

Plutonomicon / plutarch-plutus

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

Utility functions for `PMaybe` and `PMaybeData` #561

Closed SeungheonOh closed 2 years ago

SeungheonOh commented 2 years ago

A one of new PRs that will be made for Liqwid-Plutarch-Extra upstreaming.

L-as commented 2 years ago

I can't merge this because the branch is out-of-date. I can't make it up-to-date because I can't modify the code in the branch.

peter-mlabs commented 2 years ago

Updated the branch

SeungheonOh commented 2 years ago

Thanks Peter, I'll do the same for PMap PR. For future PRs, do you want me to make branch on Plutonomicon repository? I doubt I have right permission for that.

L-as commented 2 years ago

Please do it in another PR.