@@ -27,7 +27,7 @@ following places:
27 protocol description language.
27 protocol description language.
29The inspiration for the ``Effects`` library was Bauer and Pretnar’s
29The inspiration for the ``Effects`` library was Bauer and Pretnar’s
30−Eff language [2]_, which describes a langauge based on algebraic
30+Eff language [2]_, which describes a language based on algebraic
31effects and handlers. Other recent languages and libraries have also
31effects and handlers. Other recent languages and libraries have also
32been built on this ideas, for example [3]_ and [4]_. The theoretical
32been built on this ideas, for example [3]_ and [4]_. The theoretical
33foundations are also well-studied see [5]_, [6]_, [7]_, [8]_.
33foundations are also well-studied see [5]_, [6]_, [7]_, [8]_.