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 |
Description |
Tags |
Last U/L |
Maintainer |
|---|---|---|---|---|---|---|
| lambda-calculator | 124 | 0.0 | A lambda calculus interpreter | (lambdacalculus, language, library, mit, program, teaching) | 2017-04-07 | sgillespie |
| lambda-toolbox | 35 | 0.0 | An application to work with the lambda calculus (for learning) | (bsd3, lambdacalculus, program, teaching) | 2013-03-30 | JulianFleischer |