Implementation of untyped lambda calculus in C for educational purposes.