Generating Type-Safe Look-up Tables

Learners will be able to build compile-time tables that map identifiers to specialized behavior.