Untyped Lambda Calculus Interpretations v1
Some audiovisualizations of computations in lambda calculus, including arithmetic, factorial, Fibonacci number, Ackermann function, and square root.
Downloads:
| HD Ogg | DVD MPEG2 | LD Ogg | |
|---|---|---|---|
| sixteen | 2 MB | 4 MB | 1 MB |
| fact4 | 70 MB | 85 MB | 10 MB |
| fib6 | 93 MB | 109 MB | 11 MB |
| ack23 | 76 MB | 95 MB | 11 MB |
| sqrt22 | 99 MB | 119 MB | 11 MB |
Source code: ulci.tar.bz2