agda 2.5.3-29

アーキテクチャ:x86_64
リポジトリ:community
説明:依存型をもつ関数型プログラミング言語・定理証明支援器
上流 URL:http://wiki.portal.chalmers.se/agda/
ライセンス:custom
パッケージ容量:9.3 MB
インストール容量:68.5 MB
パッケージ作成者:Felix Yan
最終更新:2018-04-12 15:40:06 JST