<div dir="ltr"><div class="gmail_extra"><br><div class="gmail_quote">On Tue, Jul 14, 2015 at 9:20 AM, Loïc Hoguin <span dir="ltr"><<a href="mailto:essen@ninenines.eu" target="_blank">essen@ninenines.eu</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">If you have a few months with nothing to do you can figure out sofs and add human-readable documentation in OTP. Then everyone can understand Jesper's post. :-)</blockquote></div><br></div><div class="gmail_extra">It has already been written: "Théorie des ensembles - Nicholas Bourbaki"<br><br><a href="http://www.amazon.com/Th%C3%A9orie-ensembles-French-Edition-Bourbaki/dp/3540340343">http://www.amazon.com/Th%C3%A9orie-ensembles-French-Edition-Bourbaki/dp/3540340343</a><br></div><div class="gmail_extra"><br clear="all">:)<br><br>-- <br><div class="gmail_signature">J.</div>
</div></div>