search

mattpolzin / nix-idris2-packages

1 stars 0 forks source link

unbreak pg-idris #13

Closed mattpolzin closed 5 days ago