claymager/idris2-pkgs

Issues

• Cannot install idris2 and idris2-lsp at the same time

  #19 opened 2 years ago by pimartinet
  0

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

  #18 opened 2 years ago by michaelmesser
  0

• M1 Mac support

  #15 opened 3 years ago by srid
  0

• Unable to use the `dom` dependency.

  #16 opened 3 years ago by srid
  2

• Document how to get nix develop with lsp installed

  #5 opened 3 years ago by 3noch
  4

• 'Prelude not found' when building different backends.

  #1 opened 3 years ago by claymager
  2

• Depending on locally defined packages

  #9 opened 3 years ago by bobbbay
  6

• Add `idris2-dom`

  #7 opened 3 years ago by bobbbay
  0