[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,

Hello.
I wonder if there is any reason there is a "Haskell" part in the base
<http://opentheory.gilith.com/opentheory/packages/base-1.197/base-1.197.html>?
And what does that mean exactly?

Thanks!

-- 

Regards,
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