diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2010-02-07 16:13:09 -0500 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2010-02-07 16:13:09 -0500 |
| commit | 3c8845010c2fcb27db5844e89649a856df312fbf (patch) | |
| tree | b62687a4578c93213eb7ffc4fea26087ad284565 /doc | |
| parent | 4426b30fb725d28b5cbdca63eaed5cb4fd0f8fe4 (diff) | |
Expand 'row types' in first paragraph of manual
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/manual.tex | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/manual.tex b/doc/manual.tex index c5cfc52f..34995e62 100644 --- a/doc/manual.tex +++ b/doc/manual.tex @@ -20,7 +20,7 @@ \section{Introduction} -\emph{Ur} is a programming language designed to introduce richer type system features into functional programming in the tradition of ML and Haskell. Ur is functional, pure, statically-typed, and strict. Ur supports a powerful kind of \emph{metaprogramming} based on \emph{row types}. +\emph{Ur} is a programming language designed to introduce richer type system features into functional programming in the tradition of ML and Haskell. Ur is functional, pure, statically-typed, and strict. Ur supports a powerful kind of \emph{metaprogramming} based on \emph{type-level computation with type-level records}. \emph{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. The signature of the standard library is such that well-typed Ur/Web programs ``don't go wrong'' in a very broad sense. Not only do they not crash during particular page generations, but they also may not: |