stefan-hoeck/idris2-pack
Pack is a simple package manager that makes use of curated collections of packages linked to a specific version and commit of Idris2, which are guaranteed to properly work together (otherwise…
157 stars39forks29issuespushed
Worth your time
rules reportOutside contributors get real replies here, and their work gets merged.
25 of 28outside PRs merged (89%)
checked