Refer to join semilattice in Analysis documentation

alt-romes / hegg

Fast equality saturation in Haskell

https://hackage.haskell.org/package/hegg

BSD 3-Clause "New" or "Revised" License

75 stars 8 forks source link

Refer to join semilattice in Analysis documentation #28

Open alt-romes opened 1 year ago

alt-romes commented 1 year ago

I've noticed that in the Analysis documentation we don't say that joinA is the join operation from the join-semilattice that the analysis domain must form.

We should make this clearer, as it also clarifies what rules the operations must abide

alt-romes commented 1 year ago

We could even list the laws of the join operation i.e. idempotency commutativity associativity?