[Haskell-cafe] Very freaky
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