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.Internal
- 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
- Data.Equality.Utils.SizedList
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.
- hegg bench:hegg-bench
- hegg test:hegg-test
- pandoc-symreg exe:pandoc-symreg
- pandoc-symreg lib:pandoc-symreg
- pandoc-symreg test:pandoc-symreg-test