The latest version of hegg is 0.5.0.0-0.
lib:hegg
Modules
- Data.Equality.Analysis
- Data.Equality.Extraction
- Data.Equality.Graph
- Data.Equality.Graph.Classes
- Data.Equality.Graph.Classes.Id
- Data.Equality.Graph.Dot
- Data.Equality.Graph.Lens
- Data.Equality.Graph.Monad
- Data.Equality.Graph.Nodes
- Data.Equality.Graph.ReprUnionFind
- Data.Equality.Language
- Data.Equality.Matching
- Data.Equality.Matching.Database
- Data.Equality.Matching.Pattern
- Data.Equality.Saturation
- Data.Equality.Saturation.Rewrites
- Data.Equality.Saturation.Scheduler
- Data.Equality.Utils
- Data.Equality.Utils.IntToIntMap
Dependencies
- base lib:base >=4.4 && <5
- containers lib:containers >=0.4 && <0.7
- graphviz lib:graphviz >=2999.6 && <2999.7
- transformers lib:transformers >=0.4 && <0.7
Reverse dependencies
Direct only. Not exhaustive.