nixpkgs/pkgs/development/compilers/idris2/ at 24.11-pre · pyrox.dev/nixpkgs · tangled

pyrox.dev / nixpkgs

lol

nixpkgs / pkgs / development / compilers / idris2 /

at 24.11-pre 5 files

build-idris.nix

Merge pull request #297348 from mattpolzin/idris2-prefer-chez-10

2 years ago

idris2Packages.idris2Lsp: init at 2024-01-21

2 years ago

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

2 years ago

idris2: prefer chez 10 over chez-racket

2 years ago

treewide: optional -> optionals where the argument is a list

3 years ago