Hackage :: [Package]
Home
Search
Browse
What's new
Upload
User accounts
Directory listing for hls-tactics-plugin-1.0.0.0 source tarball
hls-tactics-plugin-1.0.0.0/
LICENSE
README.md
hls-tactics-plugin.cabal
src/
Ide/
Plugin/
Tactic.hs
Tactic/
Auto.hs
CaseSplit.hs
CodeGen.hs
Context.hs
Debug.hs
FeatureSet.hs
GHC.hs
Judgements.hs
KnownStrategies.hs
LanguageServer.hs
Machinery.hs
Naming.hs
Range.hs
Simplify.hs
Tactics.hs
TestTypes.hs
Types.hs
CodeGen/
Utils.hs
KnownStrategies/
QuickCheck.hs
LanguageServer/
TacticProviders.hs
test/
AutoTupleSpec.hs
GoldenSpec.hs
Main.hs
Server.hs
UnificationSpec.hs