We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 3a4e9b3 commit a85e82cCopy full SHA for a85e82c
plugins/tactics/src/Ide/Plugin/Tactic.hs renamed to plugins/hls-tactics-plugin/src/Ide/Plugin/Tactic.hs
plugins/tactics/src/Ide/Plugin/Tactic/Auto.hs renamed to plugins/hls-tactics-plugin/src/Ide/Plugin/Tactic/Auto.hs
plugins/tactics/src/Ide/Plugin/Tactic/CodeGen.hs renamed to plugins/hls-tactics-plugin/src/Ide/Plugin/Tactic/CodeGen.hs
plugins/tactics/src/Ide/Plugin/Tactic/Context.hs renamed to plugins/hls-tactics-plugin/src/Ide/Plugin/Tactic/Context.hs
plugins/tactics/src/Ide/Plugin/Tactic/Debug.hs renamed to plugins/hls-tactics-plugin/src/Ide/Plugin/Tactic/Debug.hs
plugins/tactics/src/Ide/Plugin/Tactic/GHC.hs renamed to plugins/hls-tactics-plugin/src/Ide/Plugin/Tactic/GHC.hs
plugins/tactics/src/Ide/Plugin/Tactic/Judgements.hs renamed to plugins/hls-tactics-plugin/src/Ide/Plugin/Tactic/Judgements.hs
plugins/tactics/src/Ide/Plugin/Tactic/KnownStrategies.hs renamed to plugins/hls-tactics-plugin/src/Ide/Plugin/Tactic/KnownStrategies.hs
plugins/tactics/src/Ide/Plugin/Tactic/KnownStrategies/QuickCheck.hs renamed to plugins/hls-tactics-plugin/src/Ide/Plugin/Tactic/KnownStrategies/QuickCheck.hs
plugins/tactics/src/Ide/Plugin/Tactic/Machinery.hs renamed to plugins/hls-tactics-plugin/src/Ide/Plugin/Tactic/Machinery.hs
0 commit comments