[Haskell-cafe] Very freaky

Dan Piponi dpiponi at gmail.com
Tue Jul 10 16:31:51 EDT 2007

On 7/10/07, Dan Piponi <dpiponi at gmail.com> wrote:
> On 7/10/07, Andrew Coppin <andrewcoppin at btinternet.com> 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.

More information about the Haskell-Cafe mailing list