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/emacs.nix | |
| parent | 3c61742a3740a2f56433dd4334f15f735e523756 (diff) | |
break out an agda.nix
Diffstat (limited to 'home/modules/emacs.nix')
| -rw-r--r-- | home/modules/emacs.nix | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/home/modules/emacs.nix b/home/modules/emacs.nix index b6b8994638df..3f82880d2bd6 100644 --- a/home/modules/emacs.nix +++ b/home/modules/emacs.nix @@ -21,8 +21,6 @@ in { config = mkMerge [ { home.packages = with pkgs; [ - haskellPackages.Agda - # LaTeX (for org export) (pkgs.texlive.combine { inherit (pkgs.texlive) |