search

jaccokrijnen / plutus-cert

0 stars 2 forks source link

LetNonStrict: introduced lambda variable must be fresh #35

Open jaccokrijnen opened 1 year ago

jaccokrijnen commented 1 year ago

We have done this in the paper by requiring $y \notin FV(t)$