File tree Expand file tree Collapse file tree 1 file changed +5
-3
lines changed Expand file tree Collapse file tree 1 file changed +5
-3
lines changed Original file line number Diff line number Diff line change @@ -24,13 +24,15 @@ description: Fast equality saturation and equality graphs based on "egg:
24
24
For a walkthrough of writing a simple symbolic
25
25
simplification program see the [hegg symbolic
26
26
tutorial](https://github.com/alt-romes/hegg#equality-saturation-in-haskell).
27
+ .
28
+ Additional information can be found [in the README](https://github.com/alt-romes/hegg).
27
29
28
30
homepage : https://github.com/alt-romes/hegg
29
31
bug-reports : https://github.com/alt-romes/hegg/issues
30
32
license : BSD-3-Clause
31
- author : romes
32
-
33
- copyright :
33
+ author : Rodrigo Mesquita < romes>
34
+ maintainer :
Rodrigo Mesquita < [email protected] >
35
+ copyright : Copyright (C) 2022 Rodrigo Mesquita
34
36
category : Data
35
37
extra-source-files : CHANGELOG.md
36
38
You can’t perform that action at this time.
0 commit comments