@@ -437,7 +437,7 @@ using the SDL bindings as follows:
438.. code-block:: idris
438.. code-block:: idris
440− interface Draw IO where
440+ implementation Draw IO where
441 Surface = State SDLSurface
441 Surface = State SDLSurface
443 initWindow x y = do Just srf <- lift (startSDL x y)
443 initWindow x y = do Just srf <- lift (startSDL x y)