lambda-buffers
lambda-buffers copied to clipboard
mlabs-haskell
LambdaBuffers toolkit for sharing types and their semantics between different languages
https://github.com/mlabs-haskell/lambda-buffers/pull/164/files#r1432678970
As @jaredponn said in https://github.com/mlabs-haskell/lambda-buffers/pull/147#discussion_r1396843860 for more context see https://github.com/mlabs-haskell/lambda-buffers/issues/144
This feature completes the Plutus package with LB Json support which enables users to exchange these types across language boundaries. TODO - Extract CTL plutus-ledger-api types in a separate repo...
@t4ccer Alright, I have first maybe bug. If I have ``` sum NftMarketplaceRedeemer = Buy | Cancel ``` and run it through `lbf-plutus-to-plutarch` and try to compile, I'll get a...
The `lbr-plutarch` reimplements PMaybe, PEither, PList which will confuse users that already have to deal with Plutarch's equivalent types in Scott and PlutusData form.
One does not simply recurse in Plutarch. My raw lambda calculus skills are not at the level where I'm just popping out fixpoint based terms so let's get back to...
Similar to [`dev-prelude-haskell` and `dev-plutustx`](https://github.com/mlabs-haskell/lambda-buffers/blob/9b3132b7a7170e7ce1d77d71cd6faa297ca34987/libs/build.nix#L68-L209), we would like a convenient way to play around with purescript modules generated from lambda buffers schemas
Loosely, the problem is that the `.json` configuration file is not sufficiently expressive to tell the code generator to "find the class implementations at some package." For details, see the...
This issue collects some internal discussion regarding possible improvements to the parsing stack. [Slack discussion](https://mlabs-corp.slack.com/archives/C0441AEUJTZ/p1697459130937559?thread_ts=1697344345.091849&cid=C0441AEUJTZ) identified the following tasks (discussion has been summarized): 1. Iterate on syntax in the current...
Metadata
Owner
Metadata
LambdaBuffers toolkit for sharing types and their semantics between different languages