what-is-algebraic-about-algebraic-effects icon indicating copy to clipboard operation
what-is-algebraic-about-algebraic-effects copied to clipboard

Published 20 hours ago • verified publisher icon andrejbauer

Example 1.8 (bounded lattice)

Open williamdemeo opened this issue 6 years ago • 0 comments

The definition of (bounded) lattice seems to be missing the "absorption" laws.

williamdemeo avatar Jul 22 '18 06:07 williamdemeo