agda 2.5.4-4

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