Package Details: idris-git v0.11.r118.cf0b54e-1

Git Clone URL: (read-only, click to copy)
Package Base: idris-git
Description: Functional Programming Language with Dependent Types
Upstream URL:
Licenses: custom:BSD3
Conflicts: idris
Provides: idris
Submitter: pdxleif
Maintainer: None
Last Packager: pdxleif
Votes: 1
Popularity: 0.000000
First Submitted: 2015-08-26 23:58 (UTC)
Last Updated: 2016-04-19 21:15 (UTC)

Dependencies (45)

Required by (2)

Sources (1)