agda 2.5.99.20181017-8

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