Commit 02e35716 authored by Simon Marlow's avatar Simon Marlow

Remove outdated link to OGI webpage

parent c7344a63
......@@ -858,11 +858,6 @@ and improve termination (Section 3.2 of the paper).
</itemizedlist>
</para>
<para>
The web page: <ulink url="http://www.cse.ogi.edu/PacSoft/projects/rmb/">http://www.cse.ogi.edu/PacSoft/projects/rmb/</ulink>
contains up to date information on recursive monadic bindings.
</para>
<para>
Historical note: The old implementation of the mdo-notation (and most
of the existing documents) used the name
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment