Code

[Optimization] Remove case-of-case#6248

Code

Merged

effectfully merged 2 commits intomasterIntersectMBO/plutus:masterfrom effectfully/optimization/remove-case-of-caseIntersectMBO/plutus:effectfully/optimization/remove-case-of-caseCopy head branch name to clipboardJun 27, 2024

+3,404-2,666

Commits

Commits on Jun 26, 2024

• [Optimization] Remove case-of-case

  effectfully

  committed
  808566d

  Copy full SHA for 808566d

Commits on Jun 27, 2024

• Merge branch 'master' of https://github.com/input-output-hk/plutus into effectfully/optimization/remove-case-of-case

  effectfully

  committed
  dc845a4

  Copy full SHA for dc845a4