diff --git a/_includes/common_html_headers b/_includes/common_html_headers index 382d612..d11fbd2 100644 --- a/_includes/common_html_headers +++ b/_includes/common_html_headers @@ -3,6 +3,7 @@ + {% if page.feed %} diff --git a/_includes/common_nav b/_includes/common_nav index 246272c..8f5c671 100644 --- a/_includes/common_nav +++ b/_includes/common_nav @@ -1,8 +1 @@ - -
diff --git a/_layouts/skeleton.html b/_layouts/skeleton.html index 20076f9..d39c7be 100644 --- a/_layouts/skeleton.html +++ b/_layouts/skeleton.html @@ -5,10 +5,10 @@ {{ site.title }}: {{ page.title }} -
+
{% include common_nav %} {% include common_header %} -
+
{{ content }}
{% include common_footer %} diff --git a/img/GitHub-Mark-120px-plus.png b/img/GitHub-Mark-120px-plus.png new file mode 100644 index 0000000..ea6ff54 Binary files /dev/null and b/img/GitHub-Mark-120px-plus.png differ diff --git a/img/GitHub-Mark-32px.png b/img/GitHub-Mark-32px.png new file mode 100644 index 0000000..8b25551 Binary files /dev/null and b/img/GitHub-Mark-32px.png differ diff --git a/img/GitHub-Mark-64px.png b/img/GitHub-Mark-64px.png new file mode 100644 index 0000000..182a1a3 Binary files /dev/null and b/img/GitHub-Mark-64px.png differ diff --git a/img/GitHub-Mark-Light-120px-plus.png b/img/GitHub-Mark-Light-120px-plus.png new file mode 100644 index 0000000..192846a Binary files /dev/null and b/img/GitHub-Mark-Light-120px-plus.png differ diff --git a/img/GitHub-Mark-Light-32px.png b/img/GitHub-Mark-Light-32px.png new file mode 100644 index 0000000..628da97 Binary files /dev/null and b/img/GitHub-Mark-Light-32px.png differ diff --git a/img/GitHub-Mark-Light-64px.png b/img/GitHub-Mark-Light-64px.png new file mode 100644 index 0000000..73db1f6 Binary files /dev/null and b/img/GitHub-Mark-Light-64px.png differ diff --git a/index.md b/index.md index f166f7e..6ed5708 100644 --- a/index.md +++ b/index.md @@ -1,18 +1,67 @@ --- title: Home layout: page +class: frontpage +link: + ghrepo: 'https://github.com/tonyg/syndicate' --- -# syn·di·cate +> # syn·di·cate +> +> ## a language for interactive programs +> +> **noun** +> /ˈsindikit/ +> +> 1. a self-organizing group of individuals, companies, corporations or +> entities formed to transact some specific business, to pursue or +> promote a shared interest. —[Wikipedia](https://en.wikipedia.org/wiki/Syndicate) +> +>
Link to Syndicate github repo
-**noun** -/ˈsindikit/ +# Motivation -1. a self-organizing group of individuals, companies, corporations or - entities formed to transact some specific business, to pursue or - promote a shared interest. —[Wikipedia](https://en.wikipedia.org/wiki/Syndicate) +Syndicate is an Actor-based language with features specifically +designed to help programmers organise their interactive programs. ---- +# Trying it out -Syndicate is an Actor-based language with multicast, features for -managing shared state, and grouping of actors. +The [Syndicate github repository](https://github.com/tonyg/syndicate) +contains Syndicate implementations for both +[Racket](http://racket-lang.org/) and +[ES5](https://en.wikipedia.org/wiki/ECMAScript). + +... +which includes + + - the implementation of the `#lang syndicate` language, in the + [`syndicate` directory](https://github.com/tonyg/syndicate/tree/master/syndicate/). + + - a TCP echo server example, which listens for connections on port + 5999 by default, in + [`syndicate/examples/echo.rkt`](https://github.com/tonyg/syndicate/tree/master/syndicate/examples/echo.rkt). + Connect to it using, for example, `telnet localhost 5999`. + + - a handful of other examples, in + [`syndicate/examples/`](https://github.com/tonyg/syndicate/tree/master/syndicate/examples/). + +## Compiling and running the code + +You will need Racket version 6.3 or later. + +Once you have Racket installed, run + + raco pkg install syndicate + +to install the package from the Racket package repository, or + + raco pkg install + +from the root directory of the Git checkout to install the package +from a local snapshot. (Alternatively, `make link` does the same thing.) +This will make `#lang syndicate` available to programs. + +At this point, you may load and run any of the example `*.rkt` files +in the +[`syndicate/examples/`](https://github.com/tonyg/syndicate/tree/master/syndicate/examples/) +directory. diff --git a/style.css b/style.css index 212808f..3817158 100644 --- a/style.css +++ b/style.css @@ -1,10 +1,19 @@ --- layout: -color1: "#4B4B61" -color2: "#0ac" -linkcolor: "#28b" + +bodybackground: "#bbb" +pagebackground: "#fff" +herobackground: "#eee" +textcolor: "#000" +codecolor: "#000" +headercolor: "#BD1550" +heroheadercolor: "#E97F02" +herotextcolor: "#000" +linkcolor: "#5D008F" + textfonts: "'Lora', Georgia" headerfonts: "'Bree Serif', Georgia" +codefonts: "'Inconsolata', monospace" --- /*---------------------------------------------------------------------------*/ @@ -59,43 +68,40 @@ table { /*---------------------------------------------------------------------------*/ body { - background: #eee; + background: {{ page.bodybackground }}; + color: {{ page.textcolor }}; } body, th, td, input, textarea { font-family: {{ page.textfonts }}; - font-size: 10pt; - color: {{ page.color1 }}; + font-size: 12pt; + color: {{ page.textcolor }}; } h1, h2, h3, h4, h5, h6 { font-family: {{ page.headerfonts }}; } -#page.frontpage h1 { - font-size: 56pt; -} - h1, h2, h3 { margin-top: 0.5em; - color: {{ page.color2 }}; + color: {{ page.headercolor }}; font-weight: normal; } h1 a, h2 a, h3 a { - color: {{ page.color2 }}; + color: {{ page.headercolor }}; } h1 { - font-size: 3em; + font-size: 2.8em; } h2 { - font-size: 1.5em; + font-size: 2.1em; } h3 { - font-size: 1.1em; + font-size: 1.4em; } p, ul, ol { @@ -139,13 +145,13 @@ hr { #page { max-width: 800px; margin: 0 auto; - background: #FFFFFF; - padding: 0 1em; + background: {{ page.pagebackground }}; + padding: 0 2em; } #header { padding-bottom: 2px; - border-bottom: solid {{ page.color1 }} 1px; + border-bottom: solid {{ page.textcolor }} 1px; } #header h2 { @@ -165,84 +171,31 @@ hr { } .footnotes { - border-top: dashed {{ page.color1 }} 1px; + border-top: dashed {{ page.textcolor }} 1px; font-size: 0.8em; margin-top: 2em; } .content { margin: 0; - margin-left: 199px; - padding-top: 0; - padding-right: 15px; - padding-left: 15px; - padding-bottom: 15px; + padding: 0 3em; min-height: 400px; } -.content h1 { - margin: 0; - padding-top: 10px; - padding-bottom: 5px; - text-align: left; - font-size: 24pt; -} - .content h1, .content h2, .content h3 { - margin-left: -30px; + margin-left: -3rem; } .content .entry_footer { text-align: right; } -.sidebar { - float: left; - width: 150px; - padding-top: 30px; - padding-right: 10px; - padding-bottom: 0px; - padding-left: 10px; - text-align: left; - - border-left: solid #A5A5AF 1px; - margin-left: -1px; -} - -.sidebar ul { - margin: 0; - padding: 0; - list-style: none; - font-size: 1.5em; - color: {{ page.color2 }}; -} - -.sidebar li { - padding-bottom: 0.5em; -} - -.sidebar li ul { - padding-top: 0.5em; - padding-left: 10px; - font-size: 0.7em; -} - -.sidebar li li { -} - -.sidebar li a { color: {{ page.linkcolor }}; } -.sidebar li li a { color: {{ page.color2 }}; } - -.sidebar a:hover { -} - .clear { clear: both; } .clearright { clear: right; } #footer { - background: #FFFFFF; padding: 0.5em 0; margin-bottom: 1em; } @@ -250,7 +203,7 @@ hr { #footer p { text-align: center; font-size: 8pt; - color: {{ page.color2 }}; + color: {{ page.linkcolor }}; } div.sitemap_subcategory { @@ -265,11 +218,6 @@ div.sitemap_subcategory { text-align: center; } -.pinkborder { - border: solid {{ page.color2 }} 1px; - padding: 8px; -} - img.sitelogo { float: left; margin: 15px; @@ -323,7 +271,7 @@ th, td { th { font-weight: normal; - color: {{ page.color2 }}; + color: {{ page.headercolor }}; text-align: right; vertical-align: top; } @@ -352,11 +300,52 @@ td { pre { padding: 0.5em; margin-top: 0.5em; - background-color: #eeeeee; - color: black; + color: {{ page.codecolor }}; overflow: auto; } +pre, code { + font-family: {{ page.codefonts }}; + font-size: 110%; +} + sup { line-height: 0; } + +small { + font-size: 80%; +} + +/*---------------------------------------------------------------------------*/ + +#page.frontpage blockquote h1, +#page.frontpage blockquote h2 { + text-align: center; + margin-left: auto; + margin-right: auto; + color: {{ page.heroheadercolor }}; +} + +#page.frontpage blockquote h1 { + font-size: 5.6em; + margin-top: 0; + padding-top: 0.2em; +} + +#page.frontpage blockquote h2 { + font-size: 2.1em; +} + +#page.frontpage blockquote { + /* width: 75%; */ + margin: 0 -2em; + background: {{ page.herobackground }}; + color: {{ page.herotextcolor }}; + padding: 1em 2em; +} + +div.linkbuttons { + text-align: center; + padding-top: 1em; +}