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.31 – Semilattice operation

Open danoneata opened this issue 6 years ago • 0 comments

The example starts by defining L to be a join semilattice, but then it uses the meet operation symbol (\wedge) instead of the join operation symbol (\vee).

danoneata avatar Jul 22 '18 12:07 danoneata