search

jaccokrijnen / plutus-cert

0 stars 2 forks source link

Typing rules: IWrap Unwrap should check that the new X is fresh (or does not capture) #52

Open jaccokrijnen opened 6 months ago

jaccokrijnen commented 6 months ago

image