Hackage :: [Package]
Home
Search
Browse
What's new
Upload
User accounts
Directory listing for hls-tactics-plugin-2.1.0.0 source tarball
hls-tactics-plugin-2.1.0.0/old/src/
Ide/
Plugin/
Tactic.hs
Refinery/
Future.hs
Wingman/
AbstractLSP.hs
Auto.hs
CaseSplit.hs
CodeGen.hs
Context.hs
Debug.hs
EmptyCase.hs
GHC.hs
Judgements.hs
KnownStrategies.hs
LanguageServer.hs
Machinery.hs
Naming.hs
Plugin.hs
Range.hs
Simplify.hs
StaticPlugin.hs
Tactics.hs
Types.hs
AbstractLSP/
TacticActions.hs
Types.hs
CodeGen/
Utils.hs
Judgements/
SYB.hs
Theta.hs
KnownStrategies/
QuickCheck.hs
LanguageServer/
Metaprogram.hs
TacticProviders.hs
Metaprogramming/
Lexer.hs
Parser.hs
Parser.hs-boot
ProofState.hs
Parser/
Documentation.hs