lambda/Makefile, branch main Fundamental objects and results in the untyped lambda calculus. http://git.rostovtsev.org/lambda/atom?h=main 2026-04-02T16:15:09Z Lambda v0.0.0 2026-04-02T16:15:09Z Dan Rostovtsev dan@rostovtsev.org 2026-04-02T16:15:09Z urn:sha1:5bc5e17dc6981ef19ad213984929aed931d98651 Simple build and README. 2026-03-29T19:32:40Z Dan Rostovtsev dan@rostovtsev.org 2026-03-29T19:32:40Z urn:sha1:fb9d9ed9995c6e411f1223d5b53f7b8b6880573e