unately rather long. Of course it doesn't
compile, unless the last comment is removed. If removed it works fine.
Any comments and pointers appreciated. Thanks. (I'm quite new to
haskell, so I may be missing some obvious things.)
Maarten
P.S. (Sorry for the long code sample below, but I
-Original Message-
Date: Friday, October 23, 1998 1:17 PM
Subject: Re: declaring properties
>On Fri, 23 Oct 1998, Maarten de Mol wrote:
>
> | Actually, a prototype for declaring and proving properties in Clean
> | has been implemented and will be upgraded to a full
it (submitted for IFL'98) can be found
on http://www.cs.kun.nl/~maartenm
Maarten de Mol
