Lecture
This lecture introduces a simple untyped functional language with examples of recursive functions and abstract syntax trees. It covers program representation using AST, interpreting expressions, and desugaring absolute value to eliminate syntactic sugar.