Dražen Popović
Dražen Popović
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...
When implementing runtimes for LB packages (Prelude, Plutus), we need to have a 'language neutral' specification of: 1. Which opaques types are listed and what do they map to in...
It seems like #75 introduced some performance issues. lbf-comp -w goldens/good/work-dir -i goldens/good -f goldens/good/LambdaBuffers.lbf Takes a couple of seconds to finish.
TODO: - [ ] Benign mutation that shuffles Constructors in a Sum - easy - [ ] Benign mutation that shuffles Fields in a Record - easy - [ ]...
I'm using `applyBindings` pervasively in https://github.com/mlabs-haskell/lambda-buffers/blob/401f8a920a557c71440795174da199a1e128c4f9/lambda-buffers-compiler/src/LambdaBuffers/Compiler/MiniLog/UniFdSolver.hs#L254. It was very difficult to understand what's happening, but without it the whole thing just doesn't work. On multiple occasions I tried to debug...
Conway upgrade brings a lot of updates to plutus-ledger-api which means LambdaBuffers need to sync up, specifically of concern for us is https://github.com/IntersectMBO/plutus/tree/master/plutus-ledger-api/src/PlutusLedgerApi/V3 # LB Schema - [ ] Introduce...
See #76 DONE - [ ] Opened https://github.com/wrengr/unification-fd/issues/80