Miller's 6.001 Mantras
by
Jim Miller
Table of Contents
Jim Miller's Mantras for 6.001
Four Kinds of Expressions
Predefined Procedures
Conditional Expressions
Examples (Blackboard)
Substitution Model
Examples (Blackboard)
One More Special Form