- let d f (a,b) = (f a, f b) and ( ++ ) a b = fun x -> a (b x)
- in d ++ d ++ d ++ d ++ d ++ d ++ d ++ d ++ d ++ d ++ d ++ d ++ d ++ d ++ d ++ d ++ d ++ d ++ d ++ d ++ d ++ d ++ d ++ d ++ d ++ d ++ d ++ d ++ d ++ d ++ d (* .... each ++ d doubles the # of terms in the resulting type... do this 128 times for C*2^128 terms.... *)
create new paste | create new version of this paste
RAW Paste Data
Our Sites: