agda 2.5.3-8

アーキテクチャ:x86_64
リポジトリ:community
説明:A dependently typed functional programming language and proof assistant
上流 URL:http://wiki.portal.chalmers.se/agda/
ライセンス:custom
パッケージ容量:9.2 MB
インストール容量:68.3 MB
パッケージ作成者:Felix Yan
最終更新:2018-01-16 23:27:20 JST