stefan-hoeck/idris2-pack

This is stars and forks stats for /stefan-hoeck/idris2-pack repository. As of 26 Apr, 2024 this repository has 68 stars and 15 forks.

An Idris2 Package Manager with Curated Package Collections This is a simple package manager taking a slightly different approach than other available options like sirdi or inigo: It makes use of curated collections of packages linked to a specific version/commit of Idris2, which are guaranteed to properly work together (otherwise, that's a bug in the package collection). This is similar to what stack for Haskell does: It avoids dependency hell by design. There is a second GitHub repository containing...