This website requires JavaScript.
Explore
Help
Sign In
gador
/
nixpkgs
Watch
1
Star
0
Fork
0
You've already forked nixpkgs
Code
Issues
Pull Requests
Packages
Projects
Releases
Wiki
Activity
Files
b9d5f7ca1efc696ff11b6104888c7b67026cd1b3
nixpkgs
/
pkgs
/
development
/
compilers
/
idris2
History
Mathew Polzin
84cde749e6
idris2Packages.idris2Lsp: apply ergonomics improvements facilitated by latest buildIdris changes
2024-06-23 11:24:29 -05:00
..
build-idris.nix
…
default.nix
…
idris2-lsp.nix
idris2Packages.idris2Lsp: apply ergonomics improvements facilitated by latest buildIdris changes
2024-06-23 11:24:29 -05:00
idris2.nix
…
tests.nix
…