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