search

mattpolzin / nix-idris2-packages

5 stars 1 forks source link

Fix idris2 go #6

Closed mattpolzin closed 1 month ago