Idris on nixpkgs

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

1 Like