search

Plutonomicon / plutarch-plutus

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

Correctly handle `PRational` reciprocal and division #683

Closed SeungheonOh closed 4 months ago

SeungheonOh commented 4 months ago

Closes #682