idris 0.99.2-1

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

依存パッケージ (36)

idris を必要とするパッケージ (0)