[opentheory-users] Question about the OpenTheory Repo

[Robert White]

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>