For: [your code hear]

[Timon Gehr]

On 02/07/2012 08:16 PM, Manfred Nowak wrote:
> Goal: show some skill of D for implementing mathematics.
>
> A definition:
>
> Let T1, T2, T3 be sets. A problem P of type ( T1, T2, T3) is
> interpretable as a function from the domain
>     cartesian product of T1 and powerset of T2
> to the codomain
>     T3.
>
> Objective: Present code, that is usefull for all P, i.e. for all
> variations of ( T1, T2, T3) and all algoritm to compute the map from
> the domain to the codomain.
>
> -manfred

T3 foo(T1,Set!T2);