diff --git a/img/fontawesome-arrow-alt-circle-down-48x48.png b/img/fontawesome-arrow-alt-circle-down-48x48.png new file mode 100644 index 0000000..2206d0e Binary files /dev/null and b/img/fontawesome-arrow-alt-circle-down-48x48.png differ diff --git a/img/fontawesome-arrow-alt-circle-down-64x64.png b/img/fontawesome-arrow-alt-circle-down-64x64.png new file mode 100644 index 0000000..0aec537 Binary files /dev/null and b/img/fontawesome-arrow-alt-circle-down-64x64.png differ diff --git a/img/fontawesome-arrow-alt-circle-down.svg b/img/fontawesome-arrow-alt-circle-down.svg new file mode 100644 index 0000000..55e2e3b --- /dev/null +++ b/img/fontawesome-arrow-alt-circle-down.svg @@ -0,0 +1 @@ + diff --git a/tonyg-dissertation/index.md b/tonyg-dissertation/index.md index f0f046f..341e24b 100644 --- a/tonyg-dissertation/index.md +++ b/tonyg-dissertation/index.md @@ -1,6 +1,8 @@ --- title: PhD Dissertation of Tony Garnock-Jones layout: page +link: + snapshot: 'syndicate-code-snapshot-20180124-1235.zip' --- # Conversational Concurrency @@ -92,11 +94,19 @@ The slides from my defense talk are available ### Source code snapshot -The source code for the Syndicate prototypes and example applications, -as they were at the time of my dissertation, will be available here -shortly. In the meantime, please see the downloads available at - and -. +[This zip file]({{ page.link.snapshot }}) contains source code for the +Syndicate prototypes and example applications, as they were at the +time of my dissertation: + +Link to Syndicate source code snapshot +  +Download [{{ page.link.snapshot }}]({{ page.link.snapshot }}) + +
+ +Please see also the downloads available at +[syndicate-lang.org](http://syndicate-lang.org/) and on +[Github](https://github.com/tonyg/syndicate/). ### Proofs diff --git a/tonyg-dissertation/syndicate-code-snapshot-20180124-1235.zip b/tonyg-dissertation/syndicate-code-snapshot-20180124-1235.zip new file mode 100644 index 0000000..1186f73 Binary files /dev/null and b/tonyg-dissertation/syndicate-code-snapshot-20180124-1235.zip differ