Package Details: idris2-git latest-3

Git Clone URL: https://aur.archlinux.org/idris2-git.git (read-only, click to copy)
Package Base: idris2-git
Description: A purely functional programming language with first class types
Upstream URL: https://www.idris-lang.org/
Licenses: custom
Conflicts: idris2
Provides: idris2
Submitter: mb64
Maintainer: CodingCellist (MithicSpirit)
Last Packager: MithicSpirit
Votes: 3
Popularity: 0.018356
First Submitted: 2020-05-27 03:21 (UTC)
Last Updated: 2024-03-01 16:40 (UTC)

Required by (6)

Sources (1)

Latest Comments

MithicSpirit commented on 2022-10-10 21:52 (UTC)

I've fixed this issue along with some others (e.g. added check()) in my fork on Github [1]. I would greatly appreciate it if you could merge those changes over here (or make me a co-maintainer so I can do that myself).

[1] https://github.com/MithicSpirit/idris2-git/blob/master/PKGBUILD

MithicSpirit commented on 2022-09-26 21:10 (UTC)

Getting the following error when using the refc backend:

Error: INTERNAL ERROR: Can't find library libidris2_support.a