Lecture 1, CSE341, Spring 2004 summary

* Course mechanics and policies (homeworks, class, section, etc.)

* ML Basics
  * A program is a sequence of bindings
  * Variable bindings
  * basic expressions: constants, variables, addition, conditionals
  * syntax, typing rules, evaluation rules
  * the top-level environment