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

treewide: Remove indefinite article from meta.description

2024-06-09 23:07:45 +02:00

tests.nix

…