Mathew Polzin 84cde749e6 idris2Packages.idris2Lsp: apply ergonomics improvements facilitated by latest buildIdris changes

2024-06-23 11:24:29 -05:00

..

build-idris.nix

idris2Packages.buildIdris: More lenient and ergonomic dependency inputs

2024-06-23 11:22:40 -05:00

default.nix

…

idris2-lsp.nix

idris2Packages.idris2Lsp: apply ergonomics improvements facilitated by latest buildIdris changes

2024-06-23 11:24:29 -05:00

idris2.nix

…

tests.nix

…