3 Dec
2007
3 Dec
'07
4:18 a.m.
Hello PR, Monday, December 3, 2007, 8:20:35 AM, you wrote:
occurs m (Node l n r) = m == n || occurs m l || occurs m r
in terms of style, i can prefer occurs m (Node l n r) = or [m==n, occurs m l, occurs m r] -- Best regards, Bulat mailto:Bulat.Ziganshin@gmail.com