<html><head><meta http-equiv="Content-Type" content="text/html charset=utf-8"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;" class=""><div class=""><br class=""></div>Once it’s stable would be great to transform the document into something executable (e.g. Erlang, Haskell) or even verifiable (Isabelle, Coq, K-framework) so that there’s a “reference implementation” which can be tested and verified.<div class=""><br class=""></div><div class="">Simon<br class=""><div class=""><br class=""></div><div class=""><br class=""><div><blockquote type="cite" class=""><div class="">On 30 Nov 2017, at 15:29, Rickard Green <<a href="mailto:rickard@erlang.org" class="">rickard@erlang.org</a>> wrote:</div><br class="Apple-interchange-newline"><div class=""><div class="">On 11/30/2017 04:08 PM, Anthony Ramine wrote:<br class=""><blockquote type="cite" class="">Would be nice to rewrite that in HTML, we are in 2017 after all.<br class=""></blockquote><br class="">No I don't think it would be a good ide to rewrite this in HTML. There might be other options than latex, but I don't see that HTML would be an option. This due to the mathematical formulas in the document.<br class=""><br class="">There are tools available to produce html from latex which can be integrated in the makefiles which of course would be nice.<br class=""><br class="">Regards,<br class="">Rickard<br class=""><br class=""></div></div></blockquote></div><br class=""><div class="">
<div class=""><span style="font-family: LucidaGrande;" class="">Simon Thompson | Professor of Logic and Computation </span><br style="font-family: LucidaGrande;" class=""><span style="font-family: LucidaGrande;" class="">School of Computing | University of Kent | Canterbury, CT2 7NF, UK</span><br style="font-family: LucidaGrande;" class=""><a href="mailto:s.j.thompson@kent.ac.uk" style="font-family: LucidaGrande;" class="">s.j.thompson@kent.ac.uk</a><span style="font-family: LucidaGrande;" class=""> | M +44 7986 085754 | W </span><a href="http://www.cs.kent.ac.uk/~sjt" style="font-family: LucidaGrande;" class="">www.cs.kent.ac.uk/~sjt</a></div>
</div>
<br class=""></div></div></body></html>