ATS-extsolve2?

Google Group
1

Hello all,

I noticed that there is now an ATS-extsolve2 project in ATS-Postiats-contrib.
How is it different from ATS-extsolve? Is it ready to be used?

Thanks,
Shea

2

ATS-extsolve2 tries to build based on lessons learned from ATS-extsolve.
It is work in progress. Not yet ready for use. I will make an announcement
when it is ready.

Will it use SML-Lib format?

3

Yes, that is in the plan.On Fri, May 15, 2015 at 10:31 AM, ‘Yannick Duchêne’ via ats-lang-users < ats-lan...@googlegroups.com> wrote:

Le vendredi 15 mai 2015 15:57:18 UTC+2, gmhwxi a écrit :

ATS-extsolve2 tries to build based on lessons learned from ATS-extsolve.
It is work in progress. Not yet ready for use. I will make an
announcement
when it is ready.

Will it use SML-Lib format?

–
You received this message because you are subscribed to the Google Groups
“ats-lang-users” group.
To unsubscribe from this group and stop receiving emails from it, send an
email to ats-lang-user...@googlegroups.com.
To post to this group, send email to ats-lan...@googlegroups.com.
Visit this group at http://groups.google.com/group/ats-lang-users.
To view this discussion on the web visit
https://groups.google.com/d/msgid/ats-lang-users/d5465454-974e-4552-8b60-990da7497b8d%40googlegroups.com
https://groups.google.com/d/msgid/ats-lang-users/d5465454-974e-4552-8b60-990da7497b8d%40googlegroups.com?utm_medium=email&utm_source=footer
.

4

ATS-extsolve2 tries to build based on lessons learned from ATS-extsolve.
It is work in progress. Not yet ready for use. I will make an announcement
when it is ready.On Thu, May 14, 2015 at 9:07 PM, Shea Levy sh...@shealevy.com wrote:

Hello all,

I noticed that there is now an ATS-extsolve2 project in
ATS-Postiats-contrib.
How is it different from ATS-extsolve? Is it ready to be used?

Thanks,
Shea

–
You received this message because you are subscribed to the Google Groups
“ats-lang-users” group.
To unsubscribe from this group and stop receiving emails from it, send an
email to ats-lang-user...@googlegroups.com.
To post to this group, send email to ats-lan...@googlegroups.com.
Visit this group at http://groups.google.com/group/ats-lang-users.
To view this discussion on the web visit
https://groups.google.com/d/msgid/ats-lang-users/328800FB-0684-46F1-A283-CE10DBD87BF8%40shealevy.com
.