anchor.diff:      # emacs # NOTE: use Homebrew for now
   
       # Theorem Proving
  -    # AgdaStdlib
  +    AgdaStdlib
       coq
   
       # Tools
  
positive.code:   ]) ++ (with pkgs.nodePackages; [
      # aglio
      diff-so-fancy
      dispatch-proxy
      hicat
      node2nix
      json
  
negative.code:   ]) ++ (with pkgs.elmPackages; [
      # elm
    ]) ++ (with pkgs.haskellPackages; [
      Agda
      cabal2nix
      hpack
      idris
  