An interpreter for learning and exploring pure λ-calculus
slovnicki
The lecture notes for my discrete mathematics classes.
alexanderknop