plutus
plutus copied to clipboard
IntersectMBO
The Plutus language implementation and tools
This shows how to add a new way of costing an already existing builtin.
Trying to build this with ``` nix develop github:input-output-hk/iohk-nix?rev=80aaf3d9b0ac0ea3f7c668ce01573d37326376d5#ghc924 --no-write-lock-file ``` and then ``` cabal update cabal build plutus-core:lib:plutus-core ```
Pre-submit checklist: - Branch - [ ] Tests are provided (if possible) - [ ] Commit sequence broadly makes sense - [ ] Key commits have useful messages - [...
Why cannot pair and list be represented as ``` DefaultUniList :: DefaultUni a -> DefaultUni [a] DefaultUniPair :: DefaultUni a -> DefaultUni b -> DefaultUni (a, b) ``` Is `DefaultUni...
I just want to experiment with the benchmarking machine, so ignore this.
### Summary While UPLC/PLC/PIR are strict, a simplification pass assumes the code is to be interpreted lazily, thus resulting in the following behaviour: `let c x _ = x in...
### Summary Moving from V1 where [txOutDatumHash](https://github.com/input-output-hk/plutus/blob/master/plutus-ledger-api/src/PlutusLedgerApi/V1/Tx.hs#L167) is a `Maybe DatumHash` which according to the [IsData instance](https://github.com/input-output-hk/plutus/blob/master/plutus-tx/src/PlutusTx/IsData/Instances.hs#L17) this effectively becomes `OutputDatumHash DatumHash | NoOutputDatum` on-chain In V2, this is changed...
## Area [x] *Plutus Foundation* Related to the GHC plugin, Haskell-to-Plutus compiler, on-chain code [x] *Plutus Application Framework* Related to the Plutus application backend (PAB), emulator, Plutus libraries [] *Marlowe*...
Metadata
Owner
Metadata
The Plutus language implementation and tools