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
tests.nix