From 02d95a3ae4ed3519b082fe49616e493572e68e83 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Wed, 20 Jul 2011 08:14:49 -0400 Subject: Tutorial: hyperlinks for metaprogramming and row types --- doc/intro.ur | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'doc/intro.ur') diff --git a/doc/intro.ur b/doc/intro.ur index d7de5ad3..02adfdd2 100644 --- a/doc/intro.ur +++ b/doc/intro.ur @@ -8,7 +8,7 @@ val show_string = mkShow (fn s => "\"" ^ s ^ "\"") (* This is a tutorial for the Ur/Web programming language.

-Briefly, Ur is a programming language in the tradition of ML and Haskell, but featuring a significantly richer type system. Ur is functional, pure, statically-typed, and strict. Ur supports a powerful kind of metaprogramming based on row types.
+Briefly, Ur is a programming language in the tradition of ML and Haskell, but featuring a significantly richer type system. Ur is functional, pure, statically-typed, and strict. Ur supports a powerful kind of metaprogramming based on row types.

Ur/Web is Ur plus a special standard library and associated rules for parsing and optimization. Ur/Web supports construction of dynamic web applications backed by SQL databases, with mixed server-side and client-side applications generated from source code in one language.

-- cgit v1.2.3