2020-05-13 11:34:15 +02:00
|
|
|
{ pkgs, ... }: {
|
|
|
|
|
home-manager.users.adrielus.home.packages = with pkgs; [ gcc ];
|
2020-05-30 22:19:57 +02:00
|
|
|
imports = [
|
|
|
|
|
./nix.nix
|
|
|
|
|
./purescript.nix
|
|
|
|
|
./javascript.nix
|
|
|
|
|
./rust.nix
|
2020-10-07 10:51:04 +02:00
|
|
|
./dhall.nix
|
2020-05-30 22:19:57 +02:00
|
|
|
./haskell
|
2022-04-04 01:10:26 +02:00
|
|
|
./fsharp.nix
|
2022-08-18 09:53:29 +02:00
|
|
|
./kotlin.nix
|
2022-04-04 01:10:26 +02:00
|
|
|
# ./racket.nix
|
|
|
|
|
# ./elm.nix
|
|
|
|
|
|
|
|
|
|
# Proof assistants
|
2022-06-18 23:09:21 +02:00
|
|
|
# ./agda.nix
|
2022-05-11 23:11:54 +02:00
|
|
|
# ./idris.nix
|
2022-04-04 01:10:26 +02:00
|
|
|
./lean.nix
|
2020-05-30 22:19:57 +02:00
|
|
|
];
|
2020-04-18 09:04:12 +02:00
|
|
|
}
|
