Advertisement
Guest User

Untitled

a guest
Sep 10th, 2008
260
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
  1. let d f (a,b) = (f a, f b) and ( ++ ) a b = fun x -> a (b x)
  2. 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.... *)
Advertisement
RAW Paste Data Copied
Advertisement