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

Git Clone URL: https://aur.archlinux.org/idris-git.git (read-only)
Package Base: idris-git
Description: Functional Programming Language with Dependent Types
Upstream URL: http://www.idris-lang.org/
Licenses: custom:BSD3
Conflicts: idris
Provides: idris
Submitter: pdxleif
Maintainer: pdxleif
Last Packager: pdxleif
Votes: 1
Popularity: 0.005636
First Submitted: 2015-08-26 23:58
Last Updated: 2016-04-19 21:15

Dependencies (45)

Required by (2)

Sources (1)