蘭姆達微積分的翻譯。 它顯示了 lambda 術語的減少過程。 支援幾種評價策略。 輸出格式可以從 LaTex 純文字中選擇。
版本歷史記錄
- 版本 0.1 發佈於 2006-11-07
若干修復和更新 - 版本 0.1 發佈於 2006-11-07
軟體細節
- 軟體分類: 發展 > 其他
- 發佈者: petit-lambda.sf.net
- 軟體性質: 免費
- 價格: N/A
- 版本: 0.1
- 作業系統: linux
蘭姆達微積分的翻譯。 它顯示了 lambda 術語的減少過程。 支援幾種評價策略。 輸出格式可以從 LaTex 純文字中選擇。