Agda 1 1.0.2
軟體性質: 免費 檔案大小: N/A
使用者評分: 5.0/5 - 1 評分
請稍候,您的下載連結正在檢測惡意內容。
您將能夠在 5 秒內下載。
您將能夠在 5 秒內下載。
關於 Agda 1
Agda 是一個逐步開發校樣和程序的系統。這是前Agda(Agda 1)的源叉專案。測試測試的 Ada (Agda 2) 的較新版本可從: http://wiki.portal.chalmers.se/agda/
Agda 是一個逐步開發校樣和程序的系統。這是前Agda(Agda 1)的源叉專案。測試測試的 Ada (Agda 2) 的較新版本可從: http://wiki.portal.chalmers.se/agda/