Code

Rename bound variables#1295

Code

Open

amorphedstar wants to merge 1 commit intocoalton-lang:maincoalton-lang/coalton:mainfrom amorphedstar:rename-bound-variablesamorphedstar/coalton:rename-bound-variablesCopy head branch name to clipboard

+32-9

Commits

Commits on Oct 9, 2024

• Rename bound variables

  amorphedstar

  committed
  aeb43c9