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