[m-rev.] for review 1/2: Prose changes to about page.

[Zoltan Somogyi]

On 30-Apr-2013, Paul Bone <paul at bone.id.au> wrote:
> --- a/include/about.inc
> +++ b/include/about.inc
> @@ -30,10 +30,11 @@ The main features of Mercury are:
>  	backtracking will not be needed.
>  	</p>
>  	<p>
> -	Mercury handles dynamic data structures not through Prolog's
> -	assert/retract but by providing several abstract data types in
> -	the standard Mercury library that manage collections of items
> -	with different operations and tradeoffs.
> +    Mercury handles dynamic data structures not through Prolog's by

Words are missing before "by".

> @@ -42,10 +43,11 @@ The main features of Mercury are:
>  	Mercury is a strongly typed language.
>  	</h3>
>  	<p>
> -	Mercury's type system is based on many-sorted logic with parametric polymorphism, very
> -	similar to the type systems of modern functional languages such
> -	as ML and Haskell. Programmers must declare the types they need
> -	using declarations such as
> +    Mercury's type system supports discriminated unions with parametric
> +    polymorphism, it is both strong and static.

I suggest:

Mercury has a strong, static type system that supports discriminated unions
and parametric polymorphism.

Zoltan.