| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2026-04-02 | Lambda v0.0.0v0.0.0 | Dan Rostovtsev | |
| 2026-03-29 | Added build instructions to README. | Dan Rostovtsev | |
| 2026-03-29 | Simple build and README. | Dan Rostovtsev | |
 |
index : lambda | |
| Fundamental objects and results in the untyped lambda calculus. | Daniel Rostovtsev |
| aboutsummaryrefslogtreecommitdiff |