Agda 1 1.0.2

ライセンス: 無料 ‎ファイルサイズ: N/A
‎ユーザー評価: 5.0/5 - ‎1 ‎投票

Agdaは、徐々に証明やプログラムを開発するためのシステムです。これは、PREVIOUS Agda (Agda 1) のソースフォージ プロジェクトです。ベータテストのAgda (Agda 2)の新しいバージョンは、次のhttp://wiki.portal.chalmers.se/agda/から入手できます。

バージョン履歴

  • バージョン 1.0.2 に転記 2008-04-23
    いくつかの修正と更新
  • バージョン 1.0.2 に転記 2008-04-23

プログラムの詳細