Mathew Polzin da61fd1916 idris2Packages.idris2Lsp: 2024-01-21 -> 2025-09-10

2025-11-02 17:26:41 -06:00

..

build-idris.nix

idris2: Put prelude in seperate derivation

2025-10-21 12:47:02 -04:00

default.nix

idris2: Modernize derivation

2025-10-21 12:45:50 -04:00

idris2-api.nix

idris2: Make a compiler pkgset

2025-10-21 12:45:50 -04:00

idris2-lsp.nix

idris2Packages.idris2Lsp: 2024-01-21 -> 2025-09-10

2025-11-02 17:26:41 -06:00

pack.nix

treewide: conform descriptions to the standards

2025-07-28 04:39:00 +00:00