Refer to join semilattice in Analysis documentation
Open
documentation
good first issue
- Dominant language
- Haskell
- Stars
- 98
- Forks
- 17
- PR merge metrics
- No merged PRs in 30d
Description
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
Contributor guide
No contributing guide indexed for this repository
Assessment
This issue has not been assessed yet.