Media Summary: Type rules in the traditional, math-ish notation. Concrete syntax, abstract syntax, and parsing.
Type rules in the traditional, math-ish notation. Concrete syntax, abstract syntax, and parsing.
General strategy for interpreting
Introduction
Implementing `
Filling in
Examples for `
Implementing Curly with `try`.
Implementing records with
Deriving the implementation `
Type inference for
Type rules in the traditional, math-ish notation.
Finishing the `
Concrete syntax, abstract syntax, and parsing.
Creating lists.