search

Plutonomicon / plutarch-plutus

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

PPair instances: PPartialOrd and POrd #572

Open cjay opened 2 years ago

L-as commented 2 years ago

bump