document: ref scripts for plutus v1

IntersectMBO / formal-ledger-specifications

Formal specifications of the cardano ledger

Apache License 2.0

33 stars 13 forks source link

document: ref scripts for plutus v1 #407

Closed ashisherc closed 2 weeks ago

ashisherc commented 2 months ago

document the details regarding the support of ref scripts for plutus v1 in the ledger specification

WhatisRT commented 2 months ago

Doing this the right way is currently blocked by #416. If we're under time pressure to get the spec out we may put this in the PDF manually, but for now I consider this being blocked.

WhatisRT commented 2 weeks ago

Closed by #504.