git.iko.soy/Idris-dev
on master help sign in
Fix URL for "State machines all the way down"
commite0592eacd5fd2c908a120753b0b927725b22447b authorEdwin Brady <ecb10@st-andrews.ac.uk> dateFri 24 Mar 2017, 19:03 (10 years ago) parentef3c9d7
2 files changed+2−2
compare with master
unifiedsplit
docs/st/examples.rst+1−1 docs/st/introduction.rst+1−1
docs/st/examples.rst+1−1
@@ -431,7 +431,7 @@ state machines to implement a high level network communication protocol
431431in terms of the lower level sockets API. This also uses threading, to
432432handle incoming requests asyncronously. You can find some more detail
433433on 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>`_
435435by Edwin Brady.
436436
437437.. |netstate| image:: ../image/netstate.png
docs/st/introduction.rst+1−1
@@ -83,7 +83,7 @@ API in practice, implementing the POSIX network sockets API.
8383
8484The ``Control.ST`` library is also described in a draft paper by
8585`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>`_.
8787This paper presents many of the examples from this tutorial, and describes
8888the motivation, design and implementation of the library in more depth.
8989