<div dir="ltr">Dear OpenTheory users and developers,<div><br></div><div>Hello.</div><div>I wonder if there is any reason there is a "Haskell" part in the <a href="http://opentheory.gilith.com/opentheory/packages/base-1.197/base-1.197.html">base</a>?  And what does that mean exactly?</div><div><br></div><div>Thanks!<br><div><div><div><br></div>-- <br><div class="gmail_signature"><div dir="ltr"><div><div dir="ltr"><div><div dir="ltr"><div><div dir="ltr"><div><br></div><div>Regards,</div><div><a href="http://www.dptinfo.ens-cachan.fr/~swang/" target="_blank">Robert White </a>(Shuai Wang)</div><div><a href="https://www.rocq.inria.fr/deducteam/" target="_blank">INRIA Deducteam</a></div></div></div></div></div></div></div></div></div>
</div></div></div></div>