On 28-Feb-1999, Carl R. Witty <[EMAIL PROTECTED]> wrote:
>
> I downloaded the NU-Prolog manual and skimmed it, but I didn't see the
> features you're describing (probably because I haven't "done" Prolog
> since my learn-5-languages-in-a-quarter class 12 years ago). Could
> you give me a pointer
Herbert Graeber writes:
> I have found another useful application of types with value
> parameters in C++. I have seen an example of using types to check
> for proper use of physical units. I have found this very useful. But
> I haven't found a way to express this in haskell. It would be nice
> t
