Packages tagged lambdacalculus
2 packages have this tag.
[Merge tag] (trustees only)Related tags: program (2), teaching (2), bsd3 (1), language (1), library (1), mit (1)
Name |
DLs |
Rating |
Rev Deps |
Description |
Tags |
Last U/L |
Last Version |
Maintainers |
---|---|---|---|---|---|---|---|---|
lambda-calculator | 4 | 0.0 | 0 | A lambda calculus interpreter | (lambdacalculus, language, library, mit, program, teaching) | 2023-03-01 | 3.1.1.0 | sgillespie |
lambda-toolbox | 3 | 0.0 | 1 | An application to work with the lambda calculus (for learning) | (bsd3, lambdacalculus, program, teaching) | 2013-03-30 | 1.0.1 | JulianFleischer |