2009/9/3 Jean-Christophe Filliātre <span dir="ltr">&lt;<a href="mailto:Jean-Christophe.Filliatre@lri.fr">Jean-Christophe.Filliatre@lri.fr</a>&gt;</span><br><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;">
<br>
&gt; 8) Other (please explain)<br>
<br>
I like writing my own libraries when I need some.<br></blockquote><div><br></div><div>Ditto,</div><div>Due to the sparsity of OCaml&#39;s standard library, many long term users probably have their own library to do all sorts of little things they need, and substantial amounts of code written around it. :-(</div>
</div>