plutus
plutus copied to clipboard
IntersectMBO
The Plutus language implementation and tools
[Migrated from PLT-121] [This was originally reported by mpj. I'm not sure if it's relevant any more since things have moved on since then.] In particular, check that they don't...
Currently not much is exposed from the plutus-ir library / namespace (originally reported by welltyped’s edsko)
Similar to what we do in plutus-core with builtinsemanticsvariant.
Executing `cabal test cardano-constituion-tests --test-option "-p /Golden/"` causes ten tests to fail: see the attached output. It's not immediately clear what the problem is, but many of the failures are...
The idea is to avoid having to add pragmas by hand in the case of `asData`. Sometimes GHC renames the TH generated pattern synonyms or the functions from the TH...
See https://github.com/IntersectMBO/plutus/pull/6784#pullrequestreview-2542894007.
### Describe the feature you'd like `(((\a b c -> a + b + c) 10) 20) 30` is more expensive than `(case (constr 0 [10, 20, 30]) f)` given...
Metadata
Owner
Metadata
The Plutus language implementation and tools