idris 1.1.1-5

アーキテクチャ:i686
リポジトリ:community
説明:Functional Programming Language with Dependent Types
上流 URL:http://www.idris-lang.org/
ライセンス:custom:BSD3
パッケージ容量:8.2 MB
インストール容量:55.3 MB
パッケージ作成者:Felix Yan
最終更新:2017-09-06 16:04:47 JST