plutus
plutus copied to clipboard
Revisit our PIR tests and see which one can be made into property tests
In particular, we should use as much of Jacco's work on semantic equivalences as possible.