Mathew Polzin 9b8bdbfa9d idris2Packages.pack: init at 2024-02-07 (#344109)		2024-10-20 11:20:25 -05:00
..
build-idris.nix	idris2Packages.buildIdris: QoL improvements	2024-09-13 03:35:29 -05:00
default.nix	idris2Packages.pack: init at 2024-02-07	2024-09-24 09:06:11 -05:00
idris2-api.nix	idris2Packages: make idris2Api a more formal package	2024-09-13 03:39:02 -05:00
idris2-lsp.nix
idris2.nix	treewide: replace stdenv.is with stdenv.hostPlatform.is	2024-09-25 00:04:37 +03:00
pack.nix	idris2Packages.pack: init at 2024-02-07	2024-09-24 09:06:11 -05:00
tests.nix	treewide: replace stdenv.is with stdenv.hostPlatform.is	2024-09-25 00:04:37 +03:00