diff --git a/_site/index.html b/_site/index.html
index 769117b..b545e14 100644
--- a/_site/index.html
+++ b/_site/index.html
@@ -5,7 +5,8 @@
-
+
+
The Utrecht Haskell Compiler JavaScript Backend Page
-
-
A short introduction: how to get started
+
+
A short introduction: how to get started
Please report bugs in the UHC-JS backend or in the UHC-JS library in the GitHub Issue Tracker. Please note that UHC related issues will eventually get their own issue tracker once the UHC has been moved to GitHub. Also consider joining #uhcjs on FreeNode.
@@ -49,9 +57,8 @@
Demo
The JCU app discussed in “Getting Rid of JavaScript with Haskell” has been put online by Chris Done.
Go to the instance. And log in with username “uhcjsdemo@example.com” and password “123456”. And check out the source code. For installation instructions please refer to the section “Locations and Setup” in “Getting Rid of JavaScript with Haskell”.
-
-
-
Resources
+
+
Resources
-
-
+
Installation instructions
Checkout the latest version of the JavaScript branch of UHC. This is somewhat risky but new features will be found here first.
diff --git a/_site/style.css b/_site/style.css
deleted file mode 100644
index 51b6c96..0000000
--- a/_site/style.css
+++ /dev/null
@@ -1,226 +0,0 @@
-/* http://meyerweb.com/eric/tools/css/reset/
- v2.0 | 20110126
- License: none (public domain)
-*/
-
-html, body, div, span, applet, object, iframe,
-h1, h2, h3, h4, h5, h6, p, blockquote, pre,
-a, abbr, acronym, address, big, cite, code,
-del, dfn, em, img, ins, kbd, q, s, samp,
-small, strike, strong, sub, sup, tt, var,
-b, u, i, center,
-dl, dt, dd, ol, ul, li,
-fieldset, form, label, legend,
-table, caption, tbody, tfoot, thead, tr, th, td,
-article, aside, canvas, details, embed,
-figure, figcaption, footer, header, hgroup,
-menu, nav, output, ruby, section, summary,
-time, mark, audio, video {
- margin: 0;
- padding: 0;
- border: 0;
- font-size: 100%;
- font: inherit;
- vertical-align: baseline;
-}
-/* HTML5 display-role reset for older browsers */
-article, aside, details, figcaption, figure,
-footer, header, hgroup, menu, nav, section {
- display: block;
-}
-body {
- line-height: 1;
-}
-ol, ul {
- list-style: none;
-}
-blockquote, q {
- quotes: none;
-}
-blockquote:before, blockquote:after,
-q:before, q:after {
- content: '';
- content: none;
-}
-table {
- border-collapse: collapse;
- border-spacing: 0;
-}
-
-/*** Generic Text Markup ***/
-/*** Version: 0.2
- Date: 18-3-2011
- Author: Alessandro Vermeulen
- Licence:
- Copyright (c) 2011 Alessandro Vermeulen
-
- Permission is hereby granted, free of charge, to any person obtaining a copy
- of this software and associated documentation files (the "Software"), to deal
- in the Software without restriction, including without limitation the rights
- to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
- copies of the Software, and to permit persons to whom the Software is
- furnished to do so, subject to the following conditions:
-
- The above copyright notice and this permission notice shall be included in
- all copies or substantial portions of the Software.
-
- THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
- IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
- FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
- AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
- LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
- OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN
- THE SOFTWARE.
-***/
-h1, h2, h3, h4, h5, h6 {
- font-weight: bold;
-}
-
-p {
- text-align: justify;
-}
-
-a {
- text-decoration:none;
-}
-
-p a {
- font-weight: bold;
-}
-
-a:hover {
- text-decoration: underline;
-}
-
-h1 {
- font-size:14pt;
-}
-
-h2 {
- font-size: 13pt;
-}
-
-h3 {
- font-size: 12pt;
-}
-
-h4, h5, h6 {
- font-size: 11pt;
-}
-
-/* Give head space to text items */
-* + p, * + ul, * + ol, * + table {
- margin-top: 10px;
-}
-
-/* Give headers space from their preceeding text */
-* + h1, * + h2, * + h3, * + h4, * + h5, * + h6 {
- margin-top: 18px;
-}
-
-/* Align elements tightly to their headers, overriding previous statement
- of give elements head space. */
-h1 + *, h2 + *, h3 + *, h4 + *, h5 + *, h6 + * {
- margin-top:0;
-}
-
-ul {
- list-style-type: disc;
- list-style-position: inside;
-}
-
-ol {
- list-style-type: decimal;
- list-style-position: inside;
-}
-
-table {
- margin: 0 auto;
- width: 90%;
-}
-/*** End Generic Text Markup ***/
-
-/** Styles **/
-body {
- font-size: 1.2em;
- font-family: Arial, Sans-Serif;
- background-color: #EEE;
- color: #333;
-}
-
-a, a:visited {
- color: #144E96;
-}
-
-#container {
- width: 1000px;
- margin: 20px auto;
- background-color: #FEFEFE;
-}
-
-#container, .block {
- border:1px solid #333;
- box-shadow: 0 0 5px 5px #888;
- border-radius: 5px;
- padding: 8px;
-}
-
-.block {
- background-color: #EEE;
- padding: 8px;
-}
-
-#header {
- padding: 8px;
- background: transparent url('images/header.png') no-repeat 8px;
- height: 116px;
- text-align: right;
-}
-
-#body {
- padding: 8px;
-}
-
-p.note {
- background-color: #FCF0AD;
- padding: 8px;
-}
-
-/** Syntax overrides **/
-.highlight, .gist-highlight {
- margin-top: 1.2em;
- margin-bottom: 1.2em;
-}
-pre {
- line-height: 1.45em;
- font-size: 13px;
- color: #93A1A1;
-}
-
-div.column {
- margin: 10px 0;
-}
-
-div.two-column div.column {
- display: block;
- width: 48%;
- float: left;
-
-}
-
-div.column + div.column {
- margin-left: 20px;
- float: right;
-}
-
-h1 {
- font-size: 1.1em;
-}
-
-h2 {
- font-size: 1.2em;
-}
-
-h3 {
- font-size: 1.1em;
-}
\ No newline at end of file
diff --git a/css/application.css b/css/application.css
index d5995c6..b1790e5 100644
--- a/css/application.css
+++ b/css/application.css
@@ -1,7 +1,337 @@
-body {
- padding-top: 40px;
+@media (min-width: 980px) {
+ body {
+ padding-top: 40px;
+ }
}
.navbar .brand {
margin-left:0;
+}
+#header {
+ padding: 8px;
+ background: transparent url('../images/header.png') no-repeat 8px;
+ height: 116px;
+}
+
+.highlight table td.code,html .gist .gist-file .gist-syntax .gist-highlight table td.code {
+ width: 100%
+}
+.highlight .line-numbers,html .gist .gist-file .gist-syntax .gist-highlight .line-numbers {
+ text-align: right;
+ font-size: 13px;
+ line-height: 1.45em;
+ background: #073642 url('/images/noise.png?1322735177') top left !important;
+ border-right: 1px solid #00232c !important;
+ -moz-box-shadow: #083e4b -1px 0 inset;
+ -webkit-box-shadow: #083e4b -1px 0 inset;
+ -o-box-shadow: #083e4b -1px 0 inset;
+ box-shadow: #083e4b -1px 0 inset;
+ text-shadow: #021014 0 -1px;
+ padding: .8em !important;
+ -moz-border-radius: 0;
+ -webkit-border-radius: 0;
+ -o-border-radius: 0;
+ -ms-border-radius: 0;
+ -khtml-border-radius: 0;
+ border-radius: 0
+}
+.highlight .line-numbers span,html .gist .gist-file .gist-syntax .gist-highlight .line-numbers span {
+ color: #586e75 !important
+}
+figure.code,.gist-file,pre {
+ -moz-box-shadow: rgba(0,0,0,0.06) 0 0 10px;
+ -webkit-box-shadow: rgba(0,0,0,0.06) 0 0 10px;
+ -o-box-shadow: rgba(0,0,0,0.06) 0 0 10px;
+ box-shadow: rgba(0,0,0,0.06) 0 0 10px
+}
+figure.code .highlight pre,.gist-file .highlight pre,pre .highlight pre {
+ -moz-box-shadow: none;
+ -webkit-box-shadow: none;
+ -o-box-shadow: none;
+ box-shadow: none
+}
+html .gist .gist-file {
+ margin-bottom: 1.8em;
+ position: relative;
+ border: none;
+ padding-top: 26px !important
+}
+html .gist .gist-file .gist-syntax {
+ border-bottom: 0 !important;
+ background: none !important
+}
+html .gist .gist-file .gist-syntax .gist-highlight {
+ background: #002b36 !important
+}
+html .gist .gist-file .gist-meta {
+ padding: .6em 0.8em;
+ border: 1px solid #083e4b !important;
+ color: #586e75;
+ font-size: .7em !important;
+ background: #073642 url('/images/noise.png?1322735177') top left;
+ line-height: 1.5em
+}
+html .gist .gist-file .gist-meta a {
+ color: #75878b !important;
+ text-decoration: none
+}
+html .gist .gist-file .gist-meta a:hover {
+ text-decoration: underline
+}
+html .gist .gist-file .gist-meta a:hover {
+ color: #93a1a1 !important
+}
+html .gist .gist-file .gist-meta a[href*='#file'] {
+ position: absolute;
+ top: 0;
+ left: 0;
+ right: -10px;
+ color: #474747 !important
+}
+html .gist .gist-file .gist-meta a[href*='#file']:hover {
+ color: #1863a1 !important
+}
+html .gist .gist-file .gist-meta a[href*=raw] {
+ top: .4em
+}
+
+h3.filename + pre {
+ -moz-border-radius-topleft: 0px;
+ -webkit-border-top-left-radius: 0px;
+ -o-border-top-left-radius: 0px;
+ -ms-border-top-left-radius: 0px;
+ -khtml-border-top-left-radius: 0px;
+ border-top-left-radius: 0px;
+ -moz-border-radius-topright: 0px;
+ -webkit-border-top-right-radius: 0px;
+ -o-border-top-right-radius: 0px;
+ -ms-border-top-right-radius: 0px;
+ -khtml-border-top-right-radius: 0px;
+ border-top-right-radius: 0px
+}
+p code,li code {
+ display: inline-block;
+ white-space: no-wrap;
+ background: #fff;
+ font-size: .8em;
+ line-height: 1.5em;
+ color: #555;
+ border: 1px solid #ddd;
+ -moz-border-radius: 0.4em;
+ -webkit-border-radius: 0.4em;
+ -o-border-radius: 0.4em;
+ -ms-border-radius: 0.4em;
+ -khtml-border-radius: 0.4em;
+ border-radius: 0.4em;
+ padding: 0 .3em;
+ margin: -1px 0
+}
+p pre code,li pre code {
+ font-size: 1em !important;
+ background: none;
+ border: none
+}
+.pre-code,html .gist .gist-file .gist-syntax .gist-highlight pre,.highlight code {
+ overflow: scroll;
+ overflow-y: hidden;
+ display: block;
+ padding: .8em !important;
+ overflow-x: auto;
+ line-height: 1.45em;
+ color: #93a1a1 !important
+}
+.pre-code *::-moz-selection,html .gist .gist-file .gist-syntax .gist-highlight pre *::-moz-selection,.highlight code *::-moz-selection {
+ background: #386774;
+ color: inherit;
+ text-shadow: #002b36 0 1px
+}
+.pre-code *::-webkit-selection,html .gist .gist-file .gist-syntax .gist-highlight pre *::-webkit-selection,.highlight code *::-webkit-selection {
+ background: #386774;
+ color: inherit;
+ text-shadow: #002b36 0 1px
+}
+.pre-code *::selection,html .gist .gist-file .gist-syntax .gist-highlight pre *::selection,.highlight code *::selection {
+ background: #386774;
+ color: inherit;
+ text-shadow: #002b36 0 1px
+}
+.pre-code span,html .gist .gist-file .gist-syntax .gist-highlight pre span,.highlight code span {
+ color: #93a1a1 !important
+}
+.pre-code span,html .gist .gist-file .gist-syntax .gist-highlight pre span,.highlight code span {
+ font-style: normal !important;
+ font-weight: normal !important
+}
+.pre-code .c,html .gist .gist-file .gist-syntax .gist-highlight pre .c,.highlight code .c {
+ color: #586e75 !important;
+ font-style: italic !important
+}
+.pre-code .cm,html .gist .gist-file .gist-syntax .gist-highlight pre .cm,.highlight code .cm {
+ color: #586e75 !important;
+ font-style: italic !important
+}
+.pre-code .cp,html .gist .gist-file .gist-syntax .gist-highlight pre .cp,.highlight code .cp {
+ color: #586e75 !important;
+ font-style: italic !important
+}
+.pre-code .c1,html .gist .gist-file .gist-syntax .gist-highlight pre .c1,.highlight code .c1 {
+ color: #586e75 !important;
+ font-style: italic !important
+}
+.pre-code .cs,html .gist .gist-file .gist-syntax .gist-highlight pre .cs,.highlight code .cs {
+ color: #586e75 !important;
+ font-weight: bold !important;
+ font-style: italic !important
+}
+.pre-code .err,html .gist .gist-file .gist-syntax .gist-highlight pre .err,.highlight code .err {
+ color: #dc322f !important;
+ background: none !important
+}
+.pre-code .k,html .gist .gist-file .gist-syntax .gist-highlight pre .k,.highlight code .k {
+ color: #cb4b16 !important
+}
+.pre-code .o,html .gist .gist-file .gist-syntax .gist-highlight pre .o,.highlight code .o {
+ color: #93a1a1 !important;
+ font-weight: bold !important
+}
+.pre-code .p,html .gist .gist-file .gist-syntax .gist-highlight pre .p,.highlight code .p {
+ color: #93a1a1 !important
+}
+.pre-code .ow,html .gist .gist-file .gist-syntax .gist-highlight pre .ow,.highlight code .ow {
+ color: #2aa198 !important;
+ font-weight: bold !important
+}
+.pre-code .gd,html .gist .gist-file .gist-syntax .gist-highlight pre .gd,.highlight code .gd {
+ color: #93a1a1 !important;
+ background-color: #372c34 !important;
+ display: inline-block
+}
+.pre-code .gd .x,html .gist .gist-file .gist-syntax .gist-highlight pre .gd .x,.highlight code .gd .x {
+ color: #93a1a1 !important;
+ background-color: #4d2d33 !important;
+ display: inline-block
+}
+.pre-code .ge,html .gist .gist-file .gist-syntax .gist-highlight pre .ge,.highlight code .ge {
+ color: #93a1a1 !important;
+ font-style: italic !important
+}
+.pre-code .gh,html .gist .gist-file .gist-syntax .gist-highlight pre .gh,.highlight code .gh {
+ color: #586e75 !important
+}
+.pre-code .gi,html .gist .gist-file .gist-syntax .gist-highlight pre .gi,.highlight code .gi {
+ color: #93a1a1 !important;
+ background-color: #1a412b !important;
+ display: inline-block
+}
+.pre-code .gi .x,html .gist .gist-file .gist-syntax .gist-highlight pre .gi .x,.highlight code .gi .x {
+ color: #93a1a1 !important;
+ background-color: #355720 !important;
+ display: inline-block
+}
+.pre-code .gs,html .gist .gist-file .gist-syntax .gist-highlight pre .gs,.highlight code .gs {
+ color: #93a1a1 !important;
+ font-weight: bold !important
+}
+.pre-code .gu,html .gist .gist-file .gist-syntax .gist-highlight pre .gu,.highlight code .gu {
+ color: #6c71c4 !important
+}
+.pre-code .kc,html .gist .gist-file .gist-syntax .gist-highlight pre .kc,.highlight code .kc {
+ color: #859900 !important;
+ font-weight: bold !important
+}
+.pre-code .kd,html .gist .gist-file .gist-syntax .gist-highlight pre .kd,.highlight code .kd {
+ color: #268bd2 !important
+}
+.pre-code .kp,html .gist .gist-file .gist-syntax .gist-highlight pre .kp,.highlight code .kp {
+ color: #cb4b16 !important;
+ font-weight: bold !important
+}
+.pre-code .kr,html .gist .gist-file .gist-syntax .gist-highlight pre .kr,.highlight code .kr {
+ color: #d33682 !important;
+ font-weight: bold !important
+}
+.pre-code .kt,html .gist .gist-file .gist-syntax .gist-highlight pre .kt,.highlight code .kt {
+ color: #2aa198 !important
+}
+.pre-code .n,html .gist .gist-file .gist-syntax .gist-highlight pre .n,.highlight code .n {
+ color: #268bd2 !important
+}
+.pre-code .na,html .gist .gist-file .gist-syntax .gist-highlight pre .na,.highlight code .na {
+ color: #268bd2 !important
+}
+.pre-code .nb,html .gist .gist-file .gist-syntax .gist-highlight pre .nb,.highlight code .nb {
+ color: #859900 !important
+}
+.pre-code .nc,html .gist .gist-file .gist-syntax .gist-highlight pre .nc,.highlight code .nc {
+ color: #d33682 !important
+}
+.pre-code .no,html .gist .gist-file .gist-syntax .gist-highlight pre .no,.highlight code .no {
+ color: #b58900 !important
+}
+.pre-code .nl,html .gist .gist-file .gist-syntax .gist-highlight pre .nl,.highlight code .nl {
+ color: #859900 !important
+}
+.pre-code .ne,html .gist .gist-file .gist-syntax .gist-highlight pre .ne,.highlight code .ne {
+ color: #268bd2 !important;
+ font-weight: bold !important
+}
+.pre-code .nf,html .gist .gist-file .gist-syntax .gist-highlight pre .nf,.highlight code .nf {
+ color: #268bd2 !important;
+ font-weight: bold !important
+}
+.pre-code .nn,html .gist .gist-file .gist-syntax .gist-highlight pre .nn,.highlight code .nn {
+ color: #b58900 !important
+}
+.pre-code .nt,html .gist .gist-file .gist-syntax .gist-highlight pre .nt,.highlight code .nt {
+ color: #268bd2 !important;
+ font-weight: bold !important
+}
+.pre-code .nx,html .gist .gist-file .gist-syntax .gist-highlight pre .nx,.highlight code .nx {
+ color: #b58900 !important
+}
+.pre-code .vg,html .gist .gist-file .gist-syntax .gist-highlight pre .vg,.highlight code .vg {
+ color: #268bd2 !important
+}
+.pre-code .vi,html .gist .gist-file .gist-syntax .gist-highlight pre .vi,.highlight code .vi {
+ color: #268bd2 !important
+}
+.pre-code .nv,html .gist .gist-file .gist-syntax .gist-highlight pre .nv,.highlight code .nv {
+ color: #268bd2 !important
+}
+.pre-code .mf,html .gist .gist-file .gist-syntax .gist-highlight pre .mf,.highlight code .mf {
+ color: #2aa198 !important
+}
+.pre-code .m,html .gist .gist-file .gist-syntax .gist-highlight pre .m,.highlight code .m {
+ color: #2aa198 !important
+}
+.pre-code .mh,html .gist .gist-file .gist-syntax .gist-highlight pre .mh,.highlight code .mh {
+ color: #2aa198 !important
+}
+.pre-code .mi,html .gist .gist-file .gist-syntax .gist-highlight pre .mi,.highlight code .mi {
+ color: #2aa198 !important
+}
+.pre-code .s,html .gist .gist-file .gist-syntax .gist-highlight pre .s,.highlight code .s {
+ color: #2aa198 !important
+}
+.pre-code .sd,html .gist .gist-file .gist-syntax .gist-highlight pre .sd,.highlight code .sd {
+ color: #2aa198 !important
+}
+.pre-code .s2,html .gist .gist-file .gist-syntax .gist-highlight pre .s2,.highlight code .s2 {
+ color: #2aa198 !important
+}
+.pre-code .se,html .gist .gist-file .gist-syntax .gist-highlight pre .se,.highlight code .se {
+ color: #dc322f !important
+}
+.pre-code .si,html .gist .gist-file .gist-syntax .gist-highlight pre .si,.highlight code .si {
+ color: #268bd2 !important
+}
+.pre-code .sr,html .gist .gist-file .gist-syntax .gist-highlight pre .sr,.highlight code .sr {
+ color: #2aa198 !important
+}
+.pre-code .s1,html .gist .gist-file .gist-syntax .gist-highlight pre .s1,.highlight code .s1 {
+ color: #2aa198 !important
+}
+.pre-code div .gd,html .gist .gist-file .gist-syntax .gist-highlight pre div .gd,.highlight code div .gd,.pre-code div .gd .x,html .gist .gist-file .gist-syntax .gist-highlight pre div .gd .x,.highlight code div .gd .x,.pre-code div .gi,html .gist .gist-file .gist-syntax .gist-highlight pre div .gi,.highlight code div .gi,.pre-code div .gi .x,html .gist .gist-file .gist-syntax .gist-highlight pre div .gi .x,.highlight code div .gi .x {
+ display: inline-block;
+ width: 100%
}
\ No newline at end of file
diff --git a/css/bootstrap-responsive.min.css b/css/bootstrap-responsive.min.css
new file mode 100644
index 0000000..ab59da3
--- /dev/null
+++ b/css/bootstrap-responsive.min.css
@@ -0,0 +1,9 @@
+/*!
+ * Bootstrap Responsive v2.1.0
+ *
+ * Copyright 2012 Twitter, Inc
+ * Licensed under the Apache License v2.0
+ * http://www.apache.org/licenses/LICENSE-2.0
+ *
+ * Designed and built with all the love in the world @twitter by @mdo and @fat.
+ */.clearfix{*zoom:1}.clearfix:before,.clearfix:after{display:table;line-height:0;content:""}.clearfix:after{clear:both}.hide-text{font:0/0 a;color:transparent;text-shadow:none;background-color:transparent;border:0}.input-block-level{display:block;width:100%;min-height:30px;-webkit-box-sizing:border-box;-moz-box-sizing:border-box;box-sizing:border-box}.hidden{display:none;visibility:hidden}.visible-phone{display:none!important}.visible-tablet{display:none!important}.hidden-desktop{display:none!important}.visible-desktop{display:inherit!important}@media(min-width:768px) and (max-width:979px){.hidden-desktop{display:inherit!important}.visible-desktop{display:none!important}.visible-tablet{display:inherit!important}.hidden-tablet{display:none!important}}@media(max-width:767px){.hidden-desktop{display:inherit!important}.visible-desktop{display:none!important}.visible-phone{display:inherit!important}.hidden-phone{display:none!important}}@media(min-width:1200px){.row{margin-left:-30px;*zoom:1}.row:before,.row:after{display:table;line-height:0;content:""}.row:after{clear:both}[class*="span"]{float:left;margin-left:30px}.container,.navbar-static-top .container,.navbar-fixed-top .container,.navbar-fixed-bottom .container{width:1170px}.span12{width:1170px}.span11{width:1070px}.span10{width:970px}.span9{width:870px}.span8{width:770px}.span7{width:670px}.span6{width:570px}.span5{width:470px}.span4{width:370px}.span3{width:270px}.span2{width:170px}.span1{width:70px}.offset12{margin-left:1230px}.offset11{margin-left:1130px}.offset10{margin-left:1030px}.offset9{margin-left:930px}.offset8{margin-left:830px}.offset7{margin-left:730px}.offset6{margin-left:630px}.offset5{margin-left:530px}.offset4{margin-left:430px}.offset3{margin-left:330px}.offset2{margin-left:230px}.offset1{margin-left:130px}.row-fluid{width:100%;*zoom:1}.row-fluid:before,.row-fluid:after{display:table;line-height:0;content:""}.row-fluid:after{clear:both}.row-fluid [class*="span"]{display:block;float:left;width:100%;min-height:30px;margin-left:2.564102564102564%;*margin-left:2.5109110747408616%;-webkit-box-sizing:border-box;-moz-box-sizing:border-box;box-sizing:border-box}.row-fluid [class*="span"]:first-child{margin-left:0}.row-fluid .span12{width:100%;*width:99.94680851063829%}.row-fluid .span11{width:91.45299145299145%;*width:91.39979996362975%}.row-fluid .span10{width:82.90598290598291%;*width:82.8527914166212%}.row-fluid .span9{width:74.35897435897436%;*width:74.30578286961266%}.row-fluid .span8{width:65.81196581196582%;*width:65.75877432260411%}.row-fluid .span7{width:57.26495726495726%;*width:57.21176577559556%}.row-fluid .span6{width:48.717948717948715%;*width:48.664757228587014%}.row-fluid .span5{width:40.17094017094017%;*width:40.11774868157847%}.row-fluid .span4{width:31.623931623931625%;*width:31.570740134569924%}.row-fluid .span3{width:23.076923076923077%;*width:23.023731587561375%}.row-fluid .span2{width:14.52991452991453%;*width:14.476723040552828%}.row-fluid .span1{width:5.982905982905983%;*width:5.929714493544281%}.row-fluid .offset12{margin-left:105.12820512820512%;*margin-left:105.02182214948171%}.row-fluid .offset12:first-child{margin-left:102.56410256410257%;*margin-left:102.45771958537915%}.row-fluid .offset11{margin-left:96.58119658119658%;*margin-left:96.47481360247316%}.row-fluid .offset11:first-child{margin-left:94.01709401709402%;*margin-left:93.91071103837061%}.row-fluid .offset10{margin-left:88.03418803418803%;*margin-left:87.92780505546462%}.row-fluid .offset10:first-child{margin-left:85.47008547008548%;*margin-left:85.36370249136206%}.row-fluid .offset9{margin-left:79.48717948717949%;*margin-left:79.38079650845607%}.row-fluid .offset9:first-child{margin-left:76.92307692307693%;*margin-left:76.81669394435352%}.row-fluid .offset8{margin-left:70.94017094017094%;*margin-left:70.83378796144753%}.row-fluid .offset8:first-child{margin-left:68.37606837606839%;*margin-left:68.26968539734497%}.row-fluid .offset7{margin-left:62.393162393162385%;*margin-left:62.28677941443899%}.row-fluid .offset7:first-child{margin-left:59.82905982905982%;*margin-left:59.72267685033642%}.row-fluid .offset6{margin-left:53.84615384615384%;*margin-left:53.739770867430444%}.row-fluid .offset6:first-child{margin-left:51.28205128205128%;*margin-left:51.175668303327875%}.row-fluid .offset5{margin-left:45.299145299145295%;*margin-left:45.1927623204219%}.row-fluid .offset5:first-child{margin-left:42.73504273504273%;*margin-left:42.62865975631933%}.row-fluid .offset4{margin-left:36.75213675213675%;*margin-left:36.645753773413354%}.row-fluid .offset4:first-child{margin-left:34.18803418803419%;*margin-left:34.081651209310785%}.row-fluid .offset3{margin-left:28.205128205128204%;*margin-left:28.0987452264048%}.row-fluid .offset3:first-child{margin-left:25.641025641025642%;*margin-left:25.53464266230224%}.row-fluid .offset2{margin-left:19.65811965811966%;*margin-left:19.551736679396257%}.row-fluid .offset2:first-child{margin-left:17.094017094017094%;*margin-left:16.98763411529369%}.row-fluid .offset1{margin-left:11.11111111111111%;*margin-left:11.004728132387708%}.row-fluid .offset1:first-child{margin-left:8.547008547008547%;*margin-left:8.440625568285142%}input,textarea,.uneditable-input{margin-left:0}.controls-row [class*="span"]+[class*="span"]{margin-left:30px}input.span12,textarea.span12,.uneditable-input.span12{width:1156px}input.span11,textarea.span11,.uneditable-input.span11{width:1056px}input.span10,textarea.span10,.uneditable-input.span10{width:956px}input.span9,textarea.span9,.uneditable-input.span9{width:856px}input.span8,textarea.span8,.uneditable-input.span8{width:756px}input.span7,textarea.span7,.uneditable-input.span7{width:656px}input.span6,textarea.span6,.uneditable-input.span6{width:556px}input.span5,textarea.span5,.uneditable-input.span5{width:456px}input.span4,textarea.span4,.uneditable-input.span4{width:356px}input.span3,textarea.span3,.uneditable-input.span3{width:256px}input.span2,textarea.span2,.uneditable-input.span2{width:156px}input.span1,textarea.span1,.uneditable-input.span1{width:56px}.thumbnails{margin-left:-30px}.thumbnails>li{margin-left:30px}.row-fluid .thumbnails{margin-left:0}}@media(min-width:768px) and (max-width:979px){.row{margin-left:-20px;*zoom:1}.row:before,.row:after{display:table;line-height:0;content:""}.row:after{clear:both}[class*="span"]{float:left;margin-left:20px}.container,.navbar-static-top .container,.navbar-fixed-top .container,.navbar-fixed-bottom .container{width:724px}.span12{width:724px}.span11{width:662px}.span10{width:600px}.span9{width:538px}.span8{width:476px}.span7{width:414px}.span6{width:352px}.span5{width:290px}.span4{width:228px}.span3{width:166px}.span2{width:104px}.span1{width:42px}.offset12{margin-left:764px}.offset11{margin-left:702px}.offset10{margin-left:640px}.offset9{margin-left:578px}.offset8{margin-left:516px}.offset7{margin-left:454px}.offset6{margin-left:392px}.offset5{margin-left:330px}.offset4{margin-left:268px}.offset3{margin-left:206px}.offset2{margin-left:144px}.offset1{margin-left:82px}.row-fluid{width:100%;*zoom:1}.row-fluid:before,.row-fluid:after{display:table;line-height:0;content:""}.row-fluid:after{clear:both}.row-fluid [class*="span"]{display:block;float:left;width:100%;min-height:30px;margin-left:2.7624309392265194%;*margin-left:2.709239449864817%;-webkit-box-sizing:border-box;-moz-box-sizing:border-box;box-sizing:border-box}.row-fluid [class*="span"]:first-child{margin-left:0}.row-fluid .span12{width:100%;*width:99.94680851063829%}.row-fluid .span11{width:91.43646408839778%;*width:91.38327259903608%}.row-fluid .span10{width:82.87292817679558%;*width:82.81973668743387%}.row-fluid .span9{width:74.30939226519337%;*width:74.25620077583166%}.row-fluid .span8{width:65.74585635359117%;*width:65.69266486422946%}.row-fluid .span7{width:57.18232044198895%;*width:57.12912895262725%}.row-fluid .span6{width:48.61878453038674%;*width:48.56559304102504%}.row-fluid .span5{width:40.05524861878453%;*width:40.00205712942283%}.row-fluid .span4{width:31.491712707182323%;*width:31.43852121782062%}.row-fluid .span3{width:22.92817679558011%;*width:22.87498530621841%}.row-fluid .span2{width:14.3646408839779%;*width:14.311449394616199%}.row-fluid .span1{width:5.801104972375691%;*width:5.747913483013988%}.row-fluid .offset12{margin-left:105.52486187845304%;*margin-left:105.41847889972962%}.row-fluid .offset12:first-child{margin-left:102.76243093922652%;*margin-left:102.6560479605031%}.row-fluid .offset11{margin-left:96.96132596685082%;*margin-left:96.8549429881274%}.row-fluid .offset11:first-child{margin-left:94.1988950276243%;*margin-left:94.09251204890089%}.row-fluid .offset10{margin-left:88.39779005524862%;*margin-left:88.2914070765252%}.row-fluid .offset10:first-child{margin-left:85.6353591160221%;*margin-left:85.52897613729868%}.row-fluid .offset9{margin-left:79.8342541436464%;*margin-left:79.72787116492299%}.row-fluid .offset9:first-child{margin-left:77.07182320441989%;*margin-left:76.96544022569647%}.row-fluid .offset8{margin-left:71.2707182320442%;*margin-left:71.16433525332079%}.row-fluid .offset8:first-child{margin-left:68.50828729281768%;*margin-left:68.40190431409427%}.row-fluid .offset7{margin-left:62.70718232044199%;*margin-left:62.600799341718584%}.row-fluid .offset7:first-child{margin-left:59.94475138121547%;*margin-left:59.838368402492065%}.row-fluid .offset6{margin-left:54.14364640883978%;*margin-left:54.037263430116376%}.row-fluid .offset6:first-child{margin-left:51.38121546961326%;*margin-left:51.27483249088986%}.row-fluid .offset5{margin-left:45.58011049723757%;*margin-left:45.47372751851417%}.row-fluid .offset5:first-child{margin-left:42.81767955801105%;*margin-left:42.71129657928765%}.row-fluid .offset4{margin-left:37.01657458563536%;*margin-left:36.91019160691196%}.row-fluid .offset4:first-child{margin-left:34.25414364640884%;*margin-left:34.14776066768544%}.row-fluid .offset3{margin-left:28.45303867403315%;*margin-left:28.346655695309746%}.row-fluid .offset3:first-child{margin-left:25.69060773480663%;*margin-left:25.584224756083227%}.row-fluid .offset2{margin-left:19.88950276243094%;*margin-left:19.783119783707537%}.row-fluid .offset2:first-child{margin-left:17.12707182320442%;*margin-left:17.02068884448102%}.row-fluid .offset1{margin-left:11.32596685082873%;*margin-left:11.219583872105325%}.row-fluid .offset1:first-child{margin-left:8.56353591160221%;*margin-left:8.457152932878806%}input,textarea,.uneditable-input{margin-left:0}.controls-row [class*="span"]+[class*="span"]{margin-left:20px}input.span12,textarea.span12,.uneditable-input.span12{width:710px}input.span11,textarea.span11,.uneditable-input.span11{width:648px}input.span10,textarea.span10,.uneditable-input.span10{width:586px}input.span9,textarea.span9,.uneditable-input.span9{width:524px}input.span8,textarea.span8,.uneditable-input.span8{width:462px}input.span7,textarea.span7,.uneditable-input.span7{width:400px}input.span6,textarea.span6,.uneditable-input.span6{width:338px}input.span5,textarea.span5,.uneditable-input.span5{width:276px}input.span4,textarea.span4,.uneditable-input.span4{width:214px}input.span3,textarea.span3,.uneditable-input.span3{width:152px}input.span2,textarea.span2,.uneditable-input.span2{width:90px}input.span1,textarea.span1,.uneditable-input.span1{width:28px}}@media(max-width:767px){body{padding-right:20px;padding-left:20px}.navbar-fixed-top,.navbar-fixed-bottom{margin-right:-20px;margin-left:-20px}.container-fluid{padding:0}.dl-horizontal dt{float:none;width:auto;clear:none;text-align:left}.dl-horizontal dd{margin-left:0}.container{width:auto}.row-fluid{width:100%}.row,.thumbnails{margin-left:0}.thumbnails>li{float:none;margin-left:0}[class*="span"],.row-fluid [class*="span"]{display:block;float:none;width:auto;margin-left:0}.span12,.row-fluid .span12{width:100%;-webkit-box-sizing:border-box;-moz-box-sizing:border-box;box-sizing:border-box}.input-large,.input-xlarge,.input-xxlarge,input[class*="span"],select[class*="span"],textarea[class*="span"],.uneditable-input{display:block;width:100%;min-height:30px;-webkit-box-sizing:border-box;-moz-box-sizing:border-box;box-sizing:border-box}.input-prepend input,.input-append input,.input-prepend input[class*="span"],.input-append input[class*="span"]{display:inline-block;width:auto}.modal{position:fixed;top:20px;right:20px;left:20px;width:auto;margin:0}.modal.fade.in{top:auto}}@media(max-width:480px){.nav-collapse{-webkit-transform:translate3d(0,0,0)}.page-header h1 small{display:block;line-height:20px}input[type="checkbox"],input[type="radio"]{border:1px solid #ccc}.form-horizontal .control-group>label{float:none;width:auto;padding-top:0;text-align:left}.form-horizontal .controls{margin-left:0}.form-horizontal .control-list{padding-top:0}.form-horizontal .form-actions{padding-right:10px;padding-left:10px}.modal{top:10px;right:10px;left:10px}.modal-header .close{padding:10px;margin:-10px}.carousel-caption{position:static}}@media(max-width:979px){body{padding-top:0}.navbar-fixed-top,.navbar-fixed-bottom{position:static}.navbar-fixed-top{margin-bottom:20px}.navbar-fixed-bottom{margin-top:20px}.navbar-fixed-top .navbar-inner,.navbar-fixed-bottom .navbar-inner{padding:5px}.navbar .container{width:auto;padding:0}.navbar .brand{padding-right:10px;padding-left:10px;margin:0 0 0 -5px}.nav-collapse{clear:both}.nav-collapse .nav{float:none;margin:0 0 10px}.nav-collapse .nav>li{float:none}.nav-collapse .nav>li>a{margin-bottom:2px}.nav-collapse .nav>.divider-vertical{display:none}.nav-collapse .nav .nav-header{color:#555;text-shadow:none}.nav-collapse .nav>li>a,.nav-collapse .dropdown-menu a{padding:9px 15px;font-weight:bold;color:#555;-webkit-border-radius:3px;-moz-border-radius:3px;border-radius:3px}.nav-collapse .btn{padding:4px 10px 4px;font-weight:normal;-webkit-border-radius:4px;-moz-border-radius:4px;border-radius:4px}.nav-collapse .dropdown-menu li+li a{margin-bottom:2px}.nav-collapse .nav>li>a:hover,.nav-collapse .dropdown-menu a:hover{background-color:#f2f2f2}.navbar-inverse .nav-collapse .nav>li>a:hover,.navbar-inverse .nav-collapse .dropdown-menu a:hover{background-color:#111}.nav-collapse.in .btn-group{padding:0;margin-top:5px}.nav-collapse .dropdown-menu{position:static;top:auto;left:auto;display:block;float:none;max-width:none;padding:0;margin:0 15px;background-color:transparent;border:0;-webkit-border-radius:0;-moz-border-radius:0;border-radius:0;-webkit-box-shadow:none;-moz-box-shadow:none;box-shadow:none}.nav-collapse .dropdown-menu:before,.nav-collapse .dropdown-menu:after{display:none}.nav-collapse .dropdown-menu .divider{display:none}.nav-collapse .navbar-form,.nav-collapse .navbar-search{float:none;padding:10px 15px;margin:10px 0;border-top:1px solid #f2f2f2;border-bottom:1px solid #f2f2f2;-webkit-box-shadow:inset 0 1px 0 rgba(255,255,255,0.1),0 1px 0 rgba(255,255,255,0.1);-moz-box-shadow:inset 0 1px 0 rgba(255,255,255,0.1),0 1px 0 rgba(255,255,255,0.1);box-shadow:inset 0 1px 0 rgba(255,255,255,0.1),0 1px 0 rgba(255,255,255,0.1)}.navbar .nav-collapse .nav.pull-right{float:none;margin-left:0}.nav-collapse,.nav-collapse.collapse{height:0;overflow:hidden}.navbar .btn-navbar{display:block}.navbar-static .navbar-inner{padding-right:10px;padding-left:10px}}@media(min-width:980px){.nav-collapse.collapse{height:auto!important;overflow:visible!important}}
diff --git a/index.md b/index.md
index f860286..e81000a 100644
--- a/index.md
+++ b/index.md
@@ -3,8 +3,6 @@ layout: default
title: "The Utrecht Haskell Compiler JavaScript Backend Page"
---
-{:toc}
-
This page is currently under construction. In the mean time please
@@ -19,7 +17,7 @@ title: "The Utrecht Haskell Compiler JavaScript Backend Page"
-{% capture introduction %}
+
A short introduction: how to get started
----------------------------------------
Please report bugs in the UHC-JS backend or in the UHC-JS library in the [GitHub
@@ -28,6 +26,7 @@ that UHC related issues will eventually get their own issue tracker once the UHC
has been moved to GitHub. Also consider joining
[#uhcjs](irc://irc.freenode.net/uhcjs) on FreeNode.
+
Demo
----
The JCU app discussed in "Getting Rid of JavaScript with Haskell" has been put
@@ -38,9 +37,8 @@ Go to the [instance](http://jcu.chrisdone.com/login). And log in with username
code](https://github.com/UU-ComputerScience/JCU). For installation instructions
please refer to the section "Locations and Setup" in "Getting Rid of JavaScript
with Haskell".
-{% endcapture %}
-{% capture resources %}
+
Resources
---------
@@ -52,17 +50,7 @@ Resources
Be sure to pick the [js](https://subversion.cs.uu.nl/repos/project.UHC.pub/branches/js/) branch on the repo for latest developments.
* [UHC JS Backend Quick Start](http://chrisdone.com/posts/2012-01-06-uhc-javascript.html) - Chris Done
* [Client-Side Haskell code](https://github.com/spockz/JCU/tree/master/resources/static/hjs) - Alessandro Vermeulen
-{% endcapture %}
-
-
-
- {{ introduction | markdownify }}
-
-
- {{ resources | markdownify }}
-
-
-
+
Installation instructions
-------------------------