search

jaccokrijnen / plutus-cert

0 stars 2 forks source link

Thesis/static-semantics #3

Closed jorisdral closed 3 years ago

jorisdral commented 3 years ago

Define a static semantics for PIR