Flakes
Categories
Options
Packages
Sign in
MyNixOS
nixpkgs
packages
idris2Packages
package-set
idris2Packages
Showing entries 1-1 out of 1.
idris2-lsp
Nix package
development/compilers
Language Server for Idris2
Previous
1
Next
