1.
Introduction
2.
Installation
3.
The Language
3.1.
Untyped Lambda Calculus
3.2.
Macros
3.3.
Directives
3.4.
Strategies
3.5.
Church Encodings
4.
Further Reading
Light
Rust
Coal
Navy
Ayu
Lambda Shell
Further Reading
Nikolay Yakimov: A Brief Look at Untyped Lambda Calculus
Wikipedia: Church encoding
Wikipedia: Lambda calculus