Fabián Heredia Montiel cc6431d559 Merge pull request #297348 from mattpolzin/idris2-prefer-chez-10 ...

idris2: prefer chez 10 over chez-racket

2024-05-09 13:13:33 -06:00

..

build-idris.nix

idris2Packages.buildIdris: better nix-shell support via shellHook

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

default.nix

…

idris2-lsp.nix

…

idris2.nix

idris2: prefer chez 10 over chez-racket

2024-03-19 17:05:34 -05:00

tests.nix

…