idris 1.3.1-44

アーキテクチャ:x86_64
リポジトリ:community
ベースパッケージ:idris
説明:Functional Programming Language with Dependent Types
上流 URL:http://www.idris-lang.org/
ライセンス:BSD
パッケージ容量:8.9 MB
インストール容量:52.5 MB
パッケージ作成者:Felix Yan
最終更新:2019-03-12 04:18:22 JST