search

jaccokrijnen / plutus-cert

0 stars 2 forks source link

WIP: Feature/thesis/static semantics #2

Closed jorisdral closed 3 years ago

jorisdral commented 3 years ago

Define a static semantics for PIR