開發者 petit-lambda.sf.net

蘭姆達微積分的翻譯。它顯示了 lambda 術語的減少過程。支援幾種評價策略。輸出格式可以從 LaTex 純文字中選擇。