idris2-pkgs issues

update packages & idris 0.6.0

full changes: - idris 0.6.0 - all packages updated to their current state - `idris-server` renamed to `recombine` - [`algae`](https://gitlab.com/avidela/algebraic-data) added (new dependency of `recombine`) - tiny fix to `inigo`...

lizard-business

Cannot install idris2 and idris2-lsp at the same time

When I try to install lsp while idris2 is installed (I tried both `github:idris-lang/Idris2` and `github:claymager/idris2-pkgs#idris2`) or vice-versa, I get the following error: ``` $ nix profile install github:claymager/idris2-pkgs#lsp error:...

pimartinet

idris2 in nix develop shell searches for packages in home directory but should not

``` $ nix develop MacBook-Pro:IdrisNixTest michaelmesser$ idris2 --build mypkg.ipkg 1/1: Building Main (src/Main.idr) Error: Error in TTC file: TTC data is in an newer format, file: /Users/michaelmesser/.idris2/idris2-0.5.1/prelude-0.5.1/Prelude.ttc, expected version: 71,...

michaelmesser

M1 Mac support

The x86 version of Idris2 in nixpkgs is working, so we could use that in theory instead of doing native support. It would be great if the 'nix flake new'...

srid