提交軟體

開發者 petit-lambda.sf.net

  • PetitLambda 免費

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