merge Module Linking and Interface Types proposals#6

Merged

lukewagner merged 19 commits intomainfrom

Mar 18, 2022

Commits on Feb 22, 2022

Add skeleton Explainer.md containing only AST and Binary.md defining binary format
lukewagner
committed

Commits on Feb 23, 2022

Factor out <aliaskind> into <alias>
lukewagner
committed

Commits on Feb 26, 2022

Commits on Feb 28, 2022

Relax type export restriction in binary format to allow any type definition
lukewagner
committed

Commits on Mar 1, 2022

Fix typo and variance direction in subtyping sketch
lukewagner
committed

Commits on Mar 7, 2022

Update URL in CanonicalABI.md

lukewagner
and
Liamolucko
authored

Commits on Mar 8, 2022

Change "import" to "arg" in the instantiate argument syntax.
sunfishcode
committed

Commits on Mar 9, 2022

Change `arg` to `with`.
sunfishcode
committed

Commits on Mar 10, 2022