diff options
Diffstat (limited to 'demo')
| -rw-r--r-- | demo/nested.ur | 4 | ||||
| -rw-r--r-- | demo/prose | 3 |
2 files changed, 4 insertions, 3 deletions
diff --git a/demo/nested.ur b/demo/nested.ur index 31c9e1e8..5c9cd3cc 100644 --- a/demo/nested.ur +++ b/demo/nested.ur @@ -45,7 +45,7 @@ and fromA r = </head> <body> <p>Hello {[forename]}{case surname of - None => <xml/> + None => <xml></xml> | Some s => <xml> {[s]}</xml>}</p> {case surname of None => <xml><a link={pageA ()}>Previous</a></xml> @@ -59,4 +59,4 @@ and fromA r = pageC None end -val main = pageA +fun main () = pageA () @@ -5,12 +5,13 @@ <h6>Install System Dependencies</h6> <p> -<blockquote><pre>sudo apt-get install build-essential \ +<blockquote><pre>sudo apt install build-essential \ emacs-goodies-el \ libgmp-dev \ libssl-dev \ libpq-dev \ libsqlite3-dev \ + libicu-dev \ mlton \ sqlite3</blockquote></pre></p> |