Advertisement
Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- type LFun v w = v -> w
- (+++) :: VectorSpace w => LFun u w -> LFun v w -> LFun (u,v) w
- (f+++g) (u,v) = f u ^+^ g v
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement