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

Directory listing for hegg-0.3.0.0 source tarball

hegg-0.3.0.0/

• CHANGELOG.md
• README.md
• hegg.cabal
• src/
  • Data/
    • Equality/
      • Analysis.hs
      • Extraction.hs
      • Graph.hs
      • Language.hs
      • Matching.hs
      • Saturation.hs
      • Utils.hs
      • Graph/
        • Classes.hs
        • Classes.hs-boot
        • Dot.hs
        • Internal.hs
        • Internal.hs-boot
        • Lens.hs
        • Monad.hs
        • Nodes.hs
        • ReprUnionFind.hs
        • Classes/
          • Id.hs
      • Matching/
        • Database.hs
        • Pattern.hs
      • Saturation/
        • Rewrites.hs
        • Scheduler.hs
      • Utils/
        • IntToIntMap.hs
        • SizedList.hs
• test/
  • Bench.hs
  • Invariants.hs
  • Lambda.hs
  • SimpleSym.hs
  • Sym.hs
  • T1.hs
  • T2.hs
  • Test.hs