[opentheory-users] Question about the OpenTheory Repo

Robert White ai.robert.wangshuai at gmail.com
Tue May 19 12:54:30 UTC 2015

Dear OpenTheory users and developers,

I wonder if there is any reason there is a "Haskell" part in the base
And what does that mean exactly?



Robert White <http://www.dptinfo.ens-cachan.fr/~swang/>(Shuai Wang)
INRIA Deducteam <https://www.rocq.inria.fr/deducteam/>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.gilith.com/opentheory/mailing-list/attachments/20150519/e90488d5/attachment.html>

More information about the opentheory-users mailing list