Assignments source code & report written for CS231 (Fall 2015)
##Contents
- Homework 1 - Small-step operational semantics (simple language)
- Homework 2 - Progress & Preservation - Boolean language
- Homework 3 - Lambda Calculus - Pattern matching
- Homework 4 - Type inference
- Homework 5 - LTL & Type-checking