| http://www.w3.org/ns/prov#value | - So here is some code:> (#) x y = liftM2 AppE x y> rewrite :: Exp -> ExpQ> rewrite (AppE f x) = do> e <- [| extract |]> if f==e> then [| join |] # rewrite x> else [| ap |] # rewrite f # rewrite xMost of the rest is support for some forms of syntactic sugar.
|
