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 2.7, clarify how it works.

Open andrejbauer opened this issue 6 years ago • 0 comments

Example 2.7 should state that we perform an induction on the tree in order to get it into the desired form.

andrejbauer avatar Dec 03 '18 21:12 andrejbauer