mlabs-haskell / lambda-buffers

LambdaBuffers toolkit for sharing types and their semantics between different languages
https://mlabs-haskell.github.io/lambda-buffers/
Apache License 2.0
29 stars 0 forks source link

Complete the Plutus .lbf schemas (with TxInfo and ScriptContext) #175

Closed bladyjoker closed 3 weeks ago

bladyjoker commented 6 months ago

At the time of writing https://github.com/mlabs-haskell/lambda-buffers/blob/main/libs/lbf-plutus/ several PLA types were not available in CTL which is why I placed those types in:

  1. https://github.com/mlabs-haskell/lambda-buffers/blob/main/libs/lbf-plutus/Plutus/V1/Todo.lbf
  2. https://github.com/mlabs-haskell/lambda-buffers/blob/main/libs/lbf-plutus/Plutus/V2/Todo.lbf

This came back to bite us as now we have incomplete PLA libraries:

  1. https://github.com/mlabs-haskell/plutus-ledger-api-rust/pull/11
  2. https://github.com/mlabs-haskell/plutus-ledger-api-typescript/issues/12

TODO