haskell-hls-tactics-plugin 1.0.0.0-23 File List

Package has 26 files and 20 directories.

Back to Package

  • usr/
  • usr/lib/
  • usr/lib/ghc-8.10.4/
  • usr/lib/ghc-8.10.4/site-local/
  • usr/lib/ghc-8.10.4/site-local/hls-tactics-plugin-1.0.0.0/
  • usr/lib/ghc-8.10.4/site-local/hls-tactics-plugin-1.0.0.0/Ide/
  • usr/lib/ghc-8.10.4/site-local/hls-tactics-plugin-1.0.0.0/Ide/Plugin/
  • usr/lib/ghc-8.10.4/site-local/hls-tactics-plugin-1.0.0.0/Ide/Plugin/Tactic.dyn_hi
  • usr/lib/ghc-8.10.4/site-local/hls-tactics-plugin-1.0.0.0/Wingman/
  • usr/lib/ghc-8.10.4/site-local/hls-tactics-plugin-1.0.0.0/Wingman/Auto.dyn_hi
  • usr/lib/ghc-8.10.4/site-local/hls-tactics-plugin-1.0.0.0/Wingman/CaseSplit.dyn_hi
  • usr/lib/ghc-8.10.4/site-local/hls-tactics-plugin-1.0.0.0/Wingman/CodeGen.dyn_hi
  • usr/lib/ghc-8.10.4/site-local/hls-tactics-plugin-1.0.0.0/Wingman/CodeGen/
  • usr/lib/ghc-8.10.4/site-local/hls-tactics-plugin-1.0.0.0/Wingman/CodeGen/Utils.dyn_hi
  • usr/lib/ghc-8.10.4/site-local/hls-tactics-plugin-1.0.0.0/Wingman/Context.dyn_hi
  • usr/lib/ghc-8.10.4/site-local/hls-tactics-plugin-1.0.0.0/Wingman/Debug.dyn_hi
  • usr/lib/ghc-8.10.4/site-local/hls-tactics-plugin-1.0.0.0/Wingman/FeatureSet.dyn_hi
  • usr/lib/ghc-8.10.4/site-local/hls-tactics-plugin-1.0.0.0/Wingman/GHC.dyn_hi
  • usr/lib/ghc-8.10.4/site-local/hls-tactics-plugin-1.0.0.0/Wingman/Judgements.dyn_hi
  • usr/lib/ghc-8.10.4/site-local/hls-tactics-plugin-1.0.0.0/Wingman/Judgements/
  • usr/lib/ghc-8.10.4/site-local/hls-tactics-plugin-1.0.0.0/Wingman/Judgements/Theta.dyn_hi
  • usr/lib/ghc-8.10.4/site-local/hls-tactics-plugin-1.0.0.0/Wingman/KnownStrategies.dyn_hi
  • usr/lib/ghc-8.10.4/site-local/hls-tactics-plugin-1.0.0.0/Wingman/KnownStrategies/
  • usr/lib/ghc-8.10.4/site-local/hls-tactics-plugin-1.0.0.0/Wingman/KnownStrategies/QuickCheck.dyn_hi
  • usr/lib/ghc-8.10.4/site-local/hls-tactics-plugin-1.0.0.0/Wingman/LanguageServer.dyn_hi
  • usr/lib/ghc-8.10.4/site-local/hls-tactics-plugin-1.0.0.0/Wingman/LanguageServer/
  • usr/lib/ghc-8.10.4/site-local/hls-tactics-plugin-1.0.0.0/Wingman/LanguageServer/TacticProviders.dyn_hi
  • usr/lib/ghc-8.10.4/site-local/hls-tactics-plugin-1.0.0.0/Wingman/Machinery.dyn_hi
  • usr/lib/ghc-8.10.4/site-local/hls-tactics-plugin-1.0.0.0/Wingman/Naming.dyn_hi
  • usr/lib/ghc-8.10.4/site-local/hls-tactics-plugin-1.0.0.0/Wingman/Plugin.dyn_hi
  • usr/lib/ghc-8.10.4/site-local/hls-tactics-plugin-1.0.0.0/Wingman/Range.dyn_hi
  • usr/lib/ghc-8.10.4/site-local/hls-tactics-plugin-1.0.0.0/Wingman/Simplify.dyn_hi
  • usr/lib/ghc-8.10.4/site-local/hls-tactics-plugin-1.0.0.0/Wingman/Tactics.dyn_hi
  • usr/lib/ghc-8.10.4/site-local/hls-tactics-plugin-1.0.0.0/Wingman/Types.dyn_hi
  • usr/lib/libHShls-tactics-plugin-1.0.0.0-1IPvBmkTayl30hgwPz2ts4-ghc8.10.4.so
  • usr/share/
  • usr/share/doc/
  • usr/share/doc/haskell-hls-tactics-plugin/
  • usr/share/haskell/
  • usr/share/haskell/register/
  • usr/share/haskell/register/haskell-hls-tactics-plugin.sh
  • usr/share/haskell/unregister/
  • usr/share/haskell/unregister/haskell-hls-tactics-plugin.sh
  • usr/share/licenses/
  • usr/share/licenses/haskell-hls-tactics-plugin/
  • usr/share/licenses/haskell-hls-tactics-plugin/LICENSE