Media Summary: Using `block` for local and nested definitions. Representing `fun` forms and motivating the associated generalization of application forms.
Using `block` for local and nested definitions. Representing `fun` forms and motivating the associated generalization of application forms.
Using
Using
Syntax
Implementing `typecheck`.
Introduction to state: what and why.
Examples for the `unify` function.
Using `block` for local and nested definitions.
Numbers, booleans, strings, and symbols.
Representing `fun` forms and motivating the associated generalization of application forms.
Implementing `interp`.