agda-stdlib 0.16.1-1

アーキテクチャ:x86_64
リポジトリ:community
ベースパッケージ:agda-stdlib
説明:Adga 標準ライブラリ
上流 URL:https://github.com/agda/agda-stdlib
ライセンス:MIT
パッケージ容量:24.0 MB
インストール容量:31.4 MB
パッケージ作成者:Felix Yan
最終更新:2018-09-09 17:55:19 JST

依存パッケージ (3)

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