search

jaccokrijnen / plutus-cert

0 stars 2 forks source link

Big-step: letrec is now always non-strict #24

Open jaccokrijnen opened 1 year ago

jaccokrijnen commented 1 year ago

According to the current evaluation rule:

image