Additional static checks performed by the compiler on pattern matches: exhaustiveness and unused branches. Textbook: https://cs3110.github.io/textbook
No download links available.
