formal-ledger-specifications
formal-ledger-specifications copied to clipboard
Add `Script` type to the Haskell interface
This might be difficult because we may have to actually interface with Plutus.