feat: add haskell to develop and doom
This commit is contained in:
parent
e7b58ef17a
commit
6a5347a6ef
2 changed files with 11 additions and 1 deletions
10
profiles/develop/programming/haskell.nix
Normal file
10
profiles/develop/programming/haskell.nix
Normal file
|
@ -0,0 +1,10 @@
|
||||||
|
{ pkgs, lib, ... }: {
|
||||||
|
environment.systemPackages = with pkgs; lib.lists.flatten [
|
||||||
|
haskell-language-server
|
||||||
|
ghc
|
||||||
|
|
||||||
|
stack
|
||||||
|
stack2nix
|
||||||
|
cabal2nix
|
||||||
|
];
|
||||||
|
}
|
|
@ -130,7 +130,7 @@
|
||||||
;;fstar ; (dependent) types and (monadic) effects and Z3
|
;;fstar ; (dependent) types and (monadic) effects and Z3
|
||||||
;;gdscript ; the language you waited for
|
;;gdscript ; the language you waited for
|
||||||
;;(go +lsp) ; the hipster dialect
|
;;(go +lsp) ; the hipster dialect
|
||||||
;;(haskell +dante) ; a language that's lazier than I am
|
(haskell +lsp) ; a language that's lazier than I am
|
||||||
;;hy ; readability of scheme w/ speed of python
|
;;hy ; readability of scheme w/ speed of python
|
||||||
;;idris ; a language you can depend on
|
;;idris ; a language you can depend on
|
||||||
json ; At least it ain't XML
|
json ; At least it ain't XML
|
||||||
|
|
Loading…
Add table
Add a link
Reference in a new issue