P.P.S.
This is now my favorite definition of 'perm':
perm [] = []
perm (xs++x:ys) = x : perm (xs++ys)
_______________________________________________
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:41:58 CET