Stefan Frijters 96cc7aa0ba idris2Packages.idris2Lsp: fix cross eval		2024-09-05 17:10:53 +02: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: fix cross eval	2024-09-05 17:10:53 +02:00
idris2.nix	treewide: Remove indefinite article from meta.description	2024-06-09 23:07:45 +02:00
tests.nix