The "Good for the Soul" Vault

What this is

Eric and Martin continually drop statements like ""x" is a great exercise", or "you should do "x" at least once in your life!". This page serves as a running list and one-stop shop for any student looking for good practice projects.

Here is a list of such exercises:

1. Implement Lambda Calculus
2. Implement your own simply typed lambda calculus, and play with the representation
3. Convert a big step semantics to a small step semantics and then evaluate different evaluation strategies: applicative order evaluation vs. normal order evaluation.