agda 2.5.99.20190207-4

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