idris 1.3.2-48

Architecture:x86_64
Repository:community
Base Package:idris
Description:Functional Programming Language with Dependent Types
Upstream URL:https://www.idris-lang.org/
License(s):BSD
Package Size:9.3 MB
Installed Size:51.9 MB
Last Packager:Felix Yan
Last Updated:2020-01-08 19:46:35 JST