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.30 possible mistake?

Open leoqiao18 opened this issue 10 months ago • 0 comments

Thank you for the great writing! I learnt a lot from this.

As I was working through Example 1.30, I believe that the map eta should take the generator () to 1? Or maybe I misunderstood the material.

leoqiao18 avatar Apr 14 '24 22:04 leoqiao18