| 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 | |
 |
index : lambda | |
| Fundamental objects and results in the untyped lambda calculus. | Daniel Rostovtsev |
| aboutsummaryrefslogtreecommitdiff |