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-calculator00.00A lambda calculus interpreter (lambdacalculus, language, library, mit, program, teaching)2023-03-013.1.1.0sgillespie
lambda-toolbox00.01An application to work with the lambda calculus (for learning) (bsd3, lambdacalculus, program, teaching)2013-03-301.0.1JulianFleischer