currently we have idris 1 modules on nixpkgs, but they haven’t been touched on for more than a year. i want to make idris2 modules but also want to know how many people if any use the current modules although i do believe the modules have value if at least some people use them i skeptic anyone does use them if you do please respond this poll
- I use idris modules from nixpkgs
- i don’t use idris modules from nixpkgs
0 voters