<div dir="ltr"><div class="gmail_extra"><div class="gmail_quote">On 23 November 2013 11:08, Mikael Lyngvig <span dir="ltr"><<a href="mailto:mikael@lyngvig.org" target="_blank">mikael@lyngvig.org</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr">Okay :)  Should I make a small patch that deletes the passage in question until such a time that there is documentation of how to make recursive types?</div>
</blockquote><div></div></div><br></div><div class="gmail_extra">Don't worry, it's not really necessary. Plus, the fact that the link is half-broken will prompt people to quickly review patches. ;)</div><div class="gmail_extra">
<br></div><div class="gmail_extra">cheers,</div><div class="gmail_extra">--renato</div></div>