agda-stdlib 0.13-1

アーキテクチャ:i686
リポジトリ:community
説明:Agda standard libraries
上流 URL:https://github.com/agda/agda-stdlib
ライセンス:MIT
パッケージ容量:17.4 MB
インストール容量:23.0 MB
パッケージ作成者:Felix Yan
最終更新:2017-01-25 01:29:05 JST

依存パッケージ (4)

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