[Bf-committers] Proposal for unifying nodes

[Robin Allen]

2009/6/15 Robin Allen <roblovski at gmail.com>:
> (A -> B) -> ((A -> Q) -> (B -> Q))

Come to think of it, that might have to be (A -> B) -> ((B -> Q) -> (A -> Q))

-Rob