On 7/10/07, Dan Piponi <[EMAIL PROTECTED]> wrote:
On 7/10/07, Andrew Coppin <[EMAIL PROTECTED]> wrote: > But what does, say, "Maybe x -> x" say?
Silly me. You reversed the arrows and I copied you. (Could it be something to do with the other conversation we were having?) I meant to say: So x -> Maybe x says that X implies "True or X". That's a valid proposition and so there is a function x -> Maybe x. -- Dan _______________________________________________ Haskell-Cafe mailing list [email protected] http://www.haskell.org/mailman/listinfo/haskell-cafe
