
12 May
2015
12 May
'15
3:25 a.m.
On Tue, May 12, 2015 at 9:20 AM, Sean Leather wrote:
Also, Meertens himself uses the value-at-the-tips definition in a later publication [3].
Correction. I meant to say he uses a value-at-the-nodes definition:
data Rose a = fork a (List(Rose a))
Regards, Sean