/idris2-pkgs

An unofficial Idris2 package repository for Nix

Primary LanguageNixMIT LicenseMIT

Watchers