Fix Nix build and update Stack resolver and Nix flake inputs - Githubissues

agda / cornelis

agda-mode for neovim

BSD 3-Clause "New" or "Revised" License

135 stars 23 forks source link

Fix Nix build and update Stack resolver and Nix flake inputs #115

Closed malob closed 1 year ago

malob commented 1 year ago

Use nvim-hs version 2.3.2.2
Update LTS and Nix flake inputs

isovector commented 1 year ago

Thanks!