Programy według petit-lambda.sf.net

Tłumacz lambda calculus.Pokazuje proces redukcji terminów lambda.Obsługiwanych jest kilka strategii oceny.Format wyjściowy można wybrać z LaTex, zwykły tekst.