From Haoran Peng
In this video we return to the idea of a formal language — a language whose expressions can be represented in Haskell.