search

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

Sync with CTL #106

Closed bladyjoker closed 10 months ago

bladyjoker commented 11 months ago

https://github.com/Plutonomicon/cardano-transaction-lib/issues/1472

Is changing to using a different BigInt representation instead of Data.BigInt that we code gen into: https://github.com/mlabs-haskell/lambda-buffers/blob/be0d0c8a5a925bd07243fcae58dfc46c0ce180e3/lambda-buffers-codegen/data/purescript.json#L45

Consolidate!