lambdascript (cargo): Educational tool illustrating beta reduction of untyped lambda terms, parser generation
Keywords: education|lambda|lambda-calculus|beta-reduction