`Plutarch.Extra.List` and `Plutarch.Extra.Ord`

Plutonomicon / plutarch-plutus

Typed eDSL for writing UPLC /ˈpluː.tɑːk/

MIT License

124 stars 64 forks source link

Open SeungheonOh opened 2 years ago

SeungheonOh commented 2 years ago

This PR should allow edits by maintainers now. It seems like I have to use personal fork to allow this due to some permission issue.

@kozross @peter-mlabs

SeungheonOh commented 2 years ago

Test will be added shortly.

Added.

L-as commented 2 years ago

Do you still want this?

SeungheonOh commented 2 years ago

Yes It would be nice to have, but not urgent.