An Idris 2 package description parser for Idris 2.
At least version 0.3.0
of the Idris 2 compiler is required.
idris2 --install ipkg.ipkg
After installing the package, add ipkg
to the depends
section in the .ipkg
file.
To parse an iPKG file, the parseIPKG
function in the Language.IPKG
module
can be used.
A package description is represented with the PkgDesc
type.
All code is licensed under the MPL-2.0.
All files that are not properly copyrightable are in the public domain, using the CC0 license.
This project aims to be REUSE compliant.