Mathew Polzin fffc206f46 idris2Packages: make idris2Api a more formal package		2024-09-13 03:39:02 -05:00
..
build-idris.nix	idris2Packages.buildIdris: QoL improvements	2024-09-13 03:35:29 -05:00
default.nix	idris2Packages: make idris2Api a more formal package	2024-09-13 03:39:02 -05:00
idris2-api.nix	idris2Packages: make idris2Api a more formal package	2024-09-13 03:39:02 -05:00
idris2-lsp.nix	idris2Packages: run nixfmt	2024-09-13 03:35:23 -05:00
idris2.nix	idris2Packages: run nixfmt	2024-09-13 03:35:23 -05:00
tests.nix	idris2: add buildIdris tests	2024-09-13 03:35:29 -05:00