• Home
• Search 
• Browse
• What's new
• Upload
• User accounts

Directory listing for hls-tactics-plugin-0.5.1.0 source tarball

hls-tactics-plugin-0.5.1.0/

• LICENSE
• hls-tactics-plugin.cabal
• src/
  • Ide/
    • TreeTransform.hs
    • Plugin/
      • Tactic.hs
      • Tactic/
        • Auto.hs
        • CodeGen.hs
        • Context.hs
        • Debug.hs
        • GHC.hs
        • Judgements.hs
        • KnownStrategies.hs
        • Machinery.hs
        • Naming.hs
        • Range.hs
        • Tactics.hs
        • TestTypes.hs
        • Types.hs
        • KnownStrategies/
          • QuickCheck.hs
• test/
  • AutoTupleSpec.hs
  • Main.hs
  • UnificationSpec.hs