Re: Invertible nondeterminism?

From: Sebastian Fischer <sebf_at_informatik.uni-kiel.de>
Date: Thu, 16 Dec 2010 21:29:17 +0900

On Thu, 2010-12-16 at 21:13 +0900, Sebastian Fischer wrote:
> (=/=) :: a -> a -> Success
> x =/= y = neg (x =:= y)

This should be

    x =/= y = success `butNot` (x =:= y)

or

    x =/= y = neg (x=:=) y

_______________________________________________
curry mailing list
curry_at_lists.RWTH-Aachen.DE
http://MailMan.RWTH-Aachen.DE/mailman/listinfo/curry
Received on Do Dez 16 2010 - 13:41:29 CET