diff options
| author | Griffin Smith <root@gws.fyi> | 2020-06-15T15·54-0400 |
|---|---|---|
| committer | Griffin Smith <root@gws.fyi> | 2020-06-15T15·54-0400 |
| commit | f59e705eca2f3dc5a1cc7d9a9fad62ac67b95a04 (patch) | |
| tree | d7bbb5773cc61c53f5b4ebf495752826cee639d8 /home/modules/development.nix | |
| parent | 3c61742a3740a2f56433dd4334f15f735e523756 (diff) | |
break out an agda.nix
Diffstat (limited to 'home/modules/development.nix')
| -rw-r--r-- | home/modules/development.nix | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/home/modules/development.nix b/home/modules/development.nix index 04c672539f..39e964d1da 100644 --- a/home/modules/development.nix +++ b/home/modules/development.nix @@ -32,6 +32,7 @@ with lib; ./lib/zshFunctions.nix ./development/kube.nix ./development/urbint.nix + ./development/agda.nix ]; home.packages = with pkgs; [ @@ -48,8 +49,6 @@ with lib; clj2nix - haskellPackages.Agda - AgdaStdlib pg-dump-upsert (import ../pkgs/clang-tools { inherit pkgs; }) |