>> perm [] = []
>> perm (xs++x:ys) = x : perm (xs++ys)
>
> I think this will become also my favorite!
To be fair, I think I once learned it from Sergio and now rediscovered it.
_______________________________________________
curry mailing list
curry_at_lists.RWTH-Aachen.DE
http://MailMan.RWTH-Aachen.DE/mailman/listinfo/curry
Received on Di Mär 06 2012 - 13:53:02 CET