Auto
Light
Rust
Coal
Navy
Ayu
CS 162 - Programming Languages
Proposition as Types