On 2/2/06, Philippa Cowderoy <[EMAIL PROTECTED]> wrote:
> Not in the context of a predicative type system. Also, if we treat it
> simply as an annotation (exists a . a), we end up throwing away the
> additional information inferred.
There's that word again. Can someone explain what "predicative" means,
in detail?
--
Taral <[EMAIL PROTECTED]>
"Computer science is no more about computers than astronomy is about
telescopes."
-- Edsger Dijkstra
_______________________________________________
Haskell-prime mailing list
Haskell-prime@haskell.org
http://haskell.org/mailman/listinfo/haskell-prime
