Mathew Polzin 8273075e61 idris2Packages.buildIdris: better nix-shell support via shellHook

2024-03-29 09:29:08 -05:00

..

build-idris.nix

idris2Packages.buildIdris: better nix-shell support via shellHook

2024-03-29 09:29:08 -05:00

default.nix

idris2Packages.idris2Lsp: init at 2024-01-21

2024-01-23 23:18:34 -06:00

idris2-lsp.nix

treewide: add meta.mainProgram to packages with a single binary

2024-03-19 03:14:51 +01:00

idris2.nix

treewide: add meta.mainProgram to packages with a single binary

2024-03-19 03:14:51 +01:00

tests.nix

…