On Tue, Apr 15, 2008 at 4:12 PM, Brian Sniffen &lt;<a href="mailto:bts@evenmere.org">bts@evenmere.org</a>&gt; wrote:<br><div class="gmail_quote"><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">
2008/4/15 Magnus Therning &lt;<a href="mailto:magnus@therning.org">magnus@therning.org</a>&gt;:<br>
<div class="Ih2E3d">&gt; Is there such a beast out there?<br>
<br>
</div>Well, there&#39;s CIL (<a href="http://manju.cs.berkeley.edu/cil/" target="_blank">http://manju.cs.berkeley.edu/cil/</a>), an OCaml<br>
library attacking the same problem. &nbsp;It has a very positive<br>
reputation.</blockquote><br>Interesting answer on a Haskell list ;)<br><br>I&#39;ve been toying with the idea of looking at OCaml though, so this might be just the opportunity I was waiting for...<br><br>/M<br></div>