anchor.diff:    ]) ++ (with pkgs.nodePackages; [
       # aglio
       diff-so-fancy
  -    dispatch-proxy
  +    # dispatch-proxy
       hicat
       node2nix
       json
  
positive.code:     # emacs # NOTE: use Homebrew for now
  
      # Theorem Proving
      # AgdaStdlib
      coq
  
      # Tools
  
negative.code:     # json-minify
      # jsonlint
      resume-cli
      # speed-test
      vmd
    ]) ++ (with pkgs.python27Packages; [
      pywatchman
    ]) ++ (with pkgs.python35Packages; [
      pip
      pygments
      setuptools
  