Package Details: idris2 0.2.0-1

Git Clone URL: https://aur.archlinux.org/idris2.git (read-only, click to copy)
Package Base: idris2
Description: Funtional Programming Lanugage with Dependent Types
Upstream URL: https://www.idris-lang.org/
Licenses: custom
Submitter: mb64
Maintainer: mb64
Last Packager: mb64
Votes: 1
Popularity: 0.49
First Submitted: 2020-05-27 02:28
Last Updated: 2020-05-27 02:28

Dependencies (2)

Required by (0)

Sources (1)