anchor.diff:      # TODO: prometheus
       wget
     ]) ++ (with pkgs.elmPackages; [
  -    elm
  +    # FIXME: elm
     ]) ++ (with pkgs.haskellPackages; [
       cabal2nix
       # TODO: idris
  
positive.code:     # FIXME: polyml
  
      # Theorem Proving
      coq
  
      # Tools
      aspell
  
negative.code:     gnumake
      gnused
      gnutar
      # FIXME: highlight (g++: command not found)
      htop
      mosh
      openssh
  