Code

Fix default arguments of benchmarks#718

Code

Open

marvinborner wants to merge 1 commit intomastereffekt-lang/effekt:masterfrom fix/benchmark_default_argseffekt-lang/effekt:fix/benchmark_default_argsCopy head branch name to clipboard

+24-26

Commits

Commits on Nov 27, 2024

• Initial attempt of fixing default arguments

  marvinborner

  committed
  b6bb19f