I have a number of Idris 1 projects with ad-hoc build tooling. Need a template to unify them under.
If both Idris 1 and Idris 2 are available in Nixpkgs, it might be good to support both for now. It’s possible that some/all of my projects need to be updated to work with Idris 2.
I have a number of Idris 1 projects with ad-hoc build tooling. Need a template to unify them under.
If both Idris 1 and Idris 2 are available in Nixpkgs, it might be good to support both for now. It’s possible that some/all of my projects need to be updated to work with Idris 2.