Hackage :: [Package]
Home
Search
Browse
What's new
Upload
User accounts
Directory listing for hegg-0.5.0.0 candidate source tarball
hegg-0.5.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
Analysis/
Monadic.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
T3.hs
Test.hs