search

IntersectMBO / plutus

The Plutus language implementation and tools
Apache License 2.0
1.57k stars 479 forks source link

Specify `caseList` and `caseData` #6604

Open kwxm opened 1 month ago

kwxm commented 1 month ago

PR #6530 added the caseList and caseData builtins. These should be added to the specification.