Make handling of names in mlang nominal#810
Merged
david-broman merged 35 commits intomiking-lang:developfrom elegios:only-nominalDec 12, 2023
+1,779-1,361
Commits
Commits on Nov 15, 2023
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Nov 16, 2023
- committed
- committed
- committed
Commits on Nov 30, 2023
- committed