Code

Ramsay t/translation efficiency 2#6746

Code

Open

ramsay-t wants to merge 4 commits intomasterIntersectMBO/plutus:masterfrom ramsay-t/translation-efficiency-2IntersectMBO/plutus:ramsay-t/translation-efficiency-2Copy head branch name to clipboard

+138-176

Commits

Commits on Nov 27, 2024

• Translation now tries match first and then R. Includes Ulf Norrell's suggestion that fixes the line explosion

  ramsay-t

  committed
  4b0b0e9

• Fixed examples that use Translation

  ramsay-t

  committed
  34172ef

Commits on Dec 3, 2024

• merge

  ramsay-t

  committed
  a7715fe

Commits on Dec 12, 2024

• Merge remote-tracking branch 'origin/master' into HEAD

  ramsay-t

  committed
  5290592