<div dir="ltr"><div class="gmail_extra"><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex"><span class="im">1/ What systems does it need to work in ? Does that include Windows ?</span></blockquote></div><br></div><div class="gmail_extra">For the functional programming course at Cornell, we dropped Windows support in favor of a vagrant vm [1] in Fall 2013 and have since been much happier. Students can just double-click a few things and have a working install (complete with extra packages like pa_ounit and qcheck), and staff no longer needs to worry about cross-platform issues (especially important for GUIs).</div><div class="gmail_extra"><br></div><div class="gmail_extra">[1] <a href="https://github.com/cs3110/vagrant-opam">https://github.com/cs3110/vagrant-opam</a></div></div>