diff options
| author |  Adam Chlipala <adam@chlipala.net> | 2011-07-17 13:34:41 -0400 |
|---|---|---|
| committer | Adam Chlipala <adam@chlipala.net> | 2011-07-17 13:34:41 -0400 |
| commit | 65ec73f96c448639b97b57b8b98edf2cd0c2f7ad (patch) | |
| tree | 10621c4cf8f26e0c70ec0aa94364bef71247d163 /doc/intro.ur | |
| parent | 5b65eca8f217760b9b8edaf317e3b023ef6d6bd6 (diff) | |
Tutorial proof-reading
Diffstat (limited to 'doc/intro.ur')
| -rw-r--r-- | doc/intro.ur | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/intro.ur b/doc/intro.ur index dd2ec1da..5e85bc8f 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 <a href="http://www.impredicative.com/ur/">Ur/Web</a> programming language. The <a href="http://www.impredicative.com/ur/">official project web site</a> is your starting point for information, like a reference manual and a pointer to download the latest code release. In this tutorial, we'll just focus on introducing the language features. *) -(* Ur/Web contains a web-indendent core language called Ur, which will be the subject of the first few chapters of the tutorial. Ur inherits its foundation from ML and Haskell, then going further to add fancier stuff. This first chapter of the tutorial reviews the key ML and Haskell features, giving their syntax in Ur. I do assume reading familiarity with ML and Haskell and won't dwell too much on explaining the imported features. *) +(* Ur/Web contains a web-independent core language called Ur, which will be the subject of the first few chapters of the tutorial. Ur inherits its foundation from ML and Haskell, then going further to add fancier stuff. This first chapter of the tutorial reviews the key ML and Haskell features, giving their syntax in Ur. I do assume reading familiarity with ML and Haskell and won't dwell too much on explaining the imported features. *) (* * Basics *) |