Stefan Frijters 96cc7aa0ba idris2Packages.idris2Lsp: fix cross eval		2024-09-05 17:10:53 +02:00
..
build-idris.nix
default.nix
idris2-lsp.nix	idris2Packages.idris2Lsp: fix cross eval	2024-09-05 17:10:53 +02:00
idris2.nix
tests.nix