On 03/06/2012 06:53 AM, Sebastian Fischer wrote:
> P.P.S.
>
> This is now my favorite definition of 'perm':
>
> perm [] = []
> perm (xs++x:ys) = x : perm (xs++ys)
I think this will become also my favorite!
Best regards,
Michael
_______________________________________________
curry mailing list
curry_at_lists.RWTH-Aachen.DE
http://MailMan.RWTH-Aachen.DE/mailman/listinfo/curry
Received on Di Mär 06 2012 - 10:43:01 CET