agda 2.5.2-10

アーキテクチャ:i686
リポジトリ:community
説明:A dependently typed functional programming language and proof assistant
上流 URL:http://wiki.portal.chalmers.se/agda/
ライセンス:custom
パッケージ容量:5.1 MB
インストール容量:29.9 MB
パッケージ作成者:Felix Yan
最終更新:2017-04-10 03:01:34 JST

依存パッケージ (29)

agda を必要とするパッケージ (1)