git.iko.soy/Idris-dev
on master help sign in
Fix URL for "State machines all the way down"
e0592eaEdwin Brady
docs/st/examples.rst+1−1
compare with master
unifiedsplit
@@ -431,7 +431,7 @@ state machines to implement a high level network communication protocol
431in terms of the lower level sockets API. This also uses threading, to
431in terms of the lower level sockets API. This also uses threading, to
432handle incoming requests asyncronously. You can find some more detail
432handle incoming requests asyncronously. You can find some more detail
433on threading and the random number server in the draft paper
433on threading and the random number server in the draft paper
434−`State Machines All The Way Down <http://eb.host.cs.st-andrews.ac.uk/drafts/sms.pdf>`_
434+`State Machines All The Way Down <https://www.idris-lang.org/drafts/sms.pdf>`_
435by Edwin Brady.
435by Edwin Brady.
436
436
437.. |netstate| image:: ../image/netstate.png
437.. |netstate| image:: ../image/netstate.png
docs/st/introduction.rst+1−1
@@ -83,7 +83,7 @@ API in practice, implementing the POSIX network sockets API.
83
83
84The ``Control.ST`` library is also described in a draft paper by
84The ``Control.ST`` library is also described in a draft paper by
85`Edwin Brady <https://edwinb.wordpress.com/>`_, "State Machines All The Way
85`Edwin Brady <https://edwinb.wordpress.com/>`_, "State Machines All The Way
86−Down", available `here <http://eb.host.cs.st-andrews.ac.uk/drafts/sms.pdf>`_.
86+Down", available `here <https://www.idris-lang.org/drafts/sms.pdf>`_.
87This paper presents many of the examples from this tutorial, and describes
87This paper presents many of the examples from this tutorial, and describes
88the motivation, design and implementation of the library in more depth.
88the motivation, design and implementation of the library in more depth.
89
89