<!DOCTYPE html><html><head> <style type="text/css">body { font-family:'DejaVu Sans Mono'; font-size:12px}</style> </head> <body><div>A web page says: “I strongly recommend using MLton (or Poly/ML) over Moscow ML to run opentheory, for reasons of speed”.</div><div><br></div><div>Okay, except it's a page about Metis :-D</div><div><br></div><div>http://www.gilith.com/software/metis/faq.html</div><div><br><br></div><div id="M2Signature"><div>-- </div><div>Yannick Duchêne</div></div></body></html>