Re: set functions and weak encapsulation

From: Michael Hanus <mh_at_informatik.uni-kiel.de>
Date: Tue, 06 Mar 2012 10:41:43 +0100

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 Tue Mar 06 2012 - 10:43:01 CET

This archive was generated by hypermail 2.3.0 : Mon Sep 23 2019 - 07:15:08 CEST