upvote
Nah. Syntax is trivial and irrelevant for teaching CS theory.
reply
Lambda calculus?!
reply