Provide nix flake overlay

con-kitty / categorifier

Interpret Haskell programs into any cartesian closed category.

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

57 stars 2 forks source link

Closed wavewave closed 2 years ago

wavewave commented 2 years ago

categorifier subpackages are packaged into a composable overlay via flake with dependency adjustment (concat branch)

zliu41 commented 2 years ago

Can we add haskell-language-server, or does it not belong to flake.nix?

wavewave commented 2 years ago

yes. absolutely, we can add haskell-language-server to the development shell environment.

zliu41 commented 2 years ago

That'd be great. Installing HLS separately is quite painful.

wavewave commented 2 years ago

Now .envrc uses flake!