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