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

[Paul Bone]

On Wed, May 01, 2013 at 03:31:53AM +1000, Julien Fischer wrote:
> On Tue, 30 Apr 2013, Paul Bone wrote:
>
>> -	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
>
> That doesn't make sense: "not through Prolog's" should not be there?
>

Ah, thanks.

>> -	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 don't think that's an improvement.
>

In my defense I know what it means now :-).  I'm hoping to find a
description that means something to a wider group of users without sounding
like greek.  I'm happy to take suggestions, otherwise I'll leave it as it
is.

Thanks.

-- 
Paul Bone
http://www.bone.id.au