summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2010-02-07 16:13:09 -0500
committerGravatar Adam Chlipala <adamc@hcoop.net>2010-02-07 16:13:09 -0500
commita69cb36fba2842a0d1bc3eb5de844c77c3cbdfc6 (patch)
treeb62687a4578c93213eb7ffc4fea26087ad284565
parent10fb0bc3d86fb48f7bf7b608f208cd3f6e4ca3a8 (diff)
Expand 'row types' in first paragraph of manual
-rw-r--r--doc/manual.tex2
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: