Package Details: idris2-git 0.3.0.r154.g37a4c6f1-1

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

Dependencies (2)

Required by (0)

Sources (1)