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

Git Clone URL: https://aur.archlinux.org/idris-git.git (read-only, click to copy)
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: 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)