@@ -350,7 +350,7 @@ Implementing ``Sockets``
351To implement ``Sockets`` in ``IO``, we'll begin by giving a concrete type
351To implement ``Sockets`` in ``IO``, we'll begin by giving a concrete type
352for ``Sock``. We can use the raw sockets API (implemented in
352for ``Sock``. We can use the raw sockets API (implemented in
353−``Network.Sockeet``) for this, and use a ``Socket`` stored in a ``State``, no
353+``Network.Socket``) for this, and use a ``Socket`` stored in a ``State``, no
354matter what abstract state the socket is in:
354matter what abstract state the socket is in:
356.. code-block:: idris
356.. code-block:: idris