@@ -350,7 +350,7 @@ Implementing ``Sockets``
350350
351351To implement ``Sockets`` in ``IO``, we'll begin by giving a concrete type
352352for ``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
354354matter what abstract state the socket is in:
355355
356356.. code-block:: idris