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 |
Maintainer |
|---|---|---|---|---|---|
| lambda-calculator | 16 | 0.0 | A lambda calculus interpreter | (lambdacalculus, language, library, mit, program, teaching) | sgillespie |
| lambda-toolbox | 3 | 0.0 | An application to work with the lambda calculus (for learning) | (bsd3, lambdacalculus, program, teaching) | JulianFleischer |