The formal syntax and semantics of variants. Textbook: https://cs3110.github.io/textbook
No download links available.