| Branch | Commit message | Author | Age | |
|---|---|---|---|---|
| main | Lambda v0.0.1 | Dan Rostovtsev | 8 weeks | |
| Tag | Download | Author | Age | |
| v0.0.1 | commit 81a961940d... | Dan Rostovtsev | 8 weeks | |
| v0.0.0 | commit 5bc5e17dc6... | Dan Rostovtsev | 8 weeks | |
| Age | Commit message | 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 | ||
| Clone | ||||
| git://git.rostovtsev.org/lambda | ||||
 |
index : lambda | |
| Fundamental objects and results in the untyped lambda calculus. | Daniel Rostovtsev |
| aboutsummaryrefslogtreecommitdiff |