# mathr / blog / #

## Untyped Lambda Calculus Interpretations v1

Some audiovisualizations of computations in lambda calculus, including arithmetic, factorial, Fibonacci number, Ackermann function, and square root.