search

claymager / idris2-pkgs

An unofficial Idris2 package repository for Nix
MIT License
46 stars 13 forks source link

Updates #13

Closed claymager closed 2 years ago