Specification: Various integrations from the reference#17383

Merged

sjrd merged 12 commits intoscala:mainfrom

May 2, 2023

Commits on May 1, 2023

Remove extra whitespace in the spec.
sjrd
committed
docs: Replace … by ...

smarter
authored and
sjrd
committed
Synchronize {reference,TODOreference}/syntax.md

smarter
authored and
sjrd
committed
Align lexical syntax between docs and spec

smarter
authored and
sjrd
committed
Port most of syntax.md except context-free syntax section.

smarter
authored and
sjrd
committed
Port context-free syntax.

smarter
authored and
sjrd
committed
Context-free syntax refers to the weird optional brace meta-syntax

smarter
authored and
sjrd
committed
Remove APPLIEDreference/syntax.md, as the syntax now lives in the spec.
sjrd
committed
Apply kind-polymorphism.md.
sjrd
committed
Apply `auto-apply` to the Spec

julienrf
authored and
sjrd
committed
Integrate the spec of union and intersection types.
sjrd
committed
Specify type lambdas (including variance inference and subtyping)

smarter
authored and
sjrd
committed