In this video we introduce the idea of a formal language — a language whose expressions can be represented in Haskell.

We begin with a simple example, a language of clausal forms in which the only expressions are Literals (positive of negative atoms), Clauses (disjunctions of Literals), and Forms (conjunctions of Clauses).