Version 0.2.0.0 release

alt-romes · alt-romes · commit 7a3d18cc3bca · 2022-09-19T19:59:41.000+01:00
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -1,6 +1,6 @@
 # Revision history for hegg
 
-## Unreleased
+## 0.2.0.0 -- 2022-09-19
 
 * Expose `runEqualitySaturation` to run equality saturation on existing e-graphs
     whole instead of focusing on individual expressions
diff --git a/hegg.cabal b/hegg.cabal
@@ -9,7 +9,11 @@ description:        Fast equality saturation and equality graphs based on "egg:
                     .
                     This package provides e-graphs (see "Data.Equality.Graph"),
                     a data structure which efficiently represents a congruence
-                    relation over many expressions
+                    relation over many expressions.
+                    .
+                    For a monadic interface to e-graphs check out
+                    "Data.Equality.Graph.Monad" (home to the convenient
+                    function 'represent').
                     .
                     Secondly, it provides functions for doing equality
                     saturation (see "Data.Equality.Saturation"), an

Original file line number	Diff line number	Diff line change
`@@ -9,7 +9,11 @@ description: Fast equality saturation and equality graphs based on "egg:`
`9`	`9`	`.`
`10`	`10`	`This package provides e-graphs (see "Data.Equality.Graph"),`
`11`	`11`	`a data structure which efficiently represents a congruence`
`12`		`- relation over many expressions`
	`12`	`+ relation over many expressions.`
	`13`	`+ .`
	`14`	`+ For a monadic interface to e-graphs check out`
	`15`	`+ "Data.Equality.Graph.Monad" (home to the convenient`
	`16`	`+ function 'represent').`
`13`	`17`	`.`
`14`	`18`	`Secondly, it provides functions for doing equality`
`15`	`19`	`saturation (see "Data.Equality.Saturation"), an`