Code

Beta-reduce under blocks#10267

Code

Merged

nicolasstucki merged 1 commit intoscala:masterscala/scala3:masterfrom

dotty-staging:beta-reduce-under-blocksdotty-staging/dotty:beta-reduce-under-blocksCopy head branch name to clipboard

Nov 11, 2020

Commits

Commits on Nov 11, 2020

• Beta-reduce under blocks

  Show description for 0d33869
  nicolasstucki

  committed
  0d33869

  Copy full SHA for 0d33869