search

jaccokrijnen / plutus-cert

0 stars 2 forks source link

Revert "Thesis/static-semantics" #4

Closed jorisdral closed 3 years ago

jorisdral commented 3 years ago

Reverts jaccokrijnen/plutus-cert#3