Add a `simple` target.
Include things in the simple target.
--> is right-associative.
Simple types will need there own definition of Term.
Simple types.
Function type construction.
Simple terms.
Term construction.
Use of constructors.
Let’s make believe that everything is Bool.
Add the boolean terms.
Add a function to construct boolean terms.
Abstractions are typed.
Use the type constructor operator for function types.
Apply the boolean identity function to the abstraction .
typeof takes a context.
Type is Equatable.
Add Either.
Add a workspace with the projects.
Link against the frameworks.