Updates Idris2 and LSP-lib submodules (non-breaking)
Adds a Nix flake and default.nix file
The Nix flake exposes idris2 (from upstream Idris compiler flake) and idris2-lsp. It is recommended to use idris2 via this LSP flake if you are also working with the LSP because you are guaranteed to be using a compiler that was used to build the LSP which is the best way to ensure the two are compatible.
The Nix flake exposes
idris2(from upstream Idris compiler flake) andidris2-lsp. It is recommended to useidris2via this LSP flake if you are also working with the LSP because you are guaranteed to be using a compiler that was used to build the LSP which is the best way to ensure the two are compatible.