Closed michaelwoerister closed 4 years ago
To clarify: the four topics in the title are relatively tightly coupled so it makes sense to treat them together.
Definitely agree. Trans is one of the bigger missing chapters (along with type-checking, MIR construction, etc).
cc #6
We added some skeleton chapters and have some other things in progress.
Quite a few complicated things are going on during trans. Would be great to have it documented.