All-in-one for ATSPRE

Google Group
1

FYI.

I made a single page containing nearly all code in ATSPRE (ATSLIB/prelude):

http://ats-lang.sourceforge.net/DOCUMENT/ATS-Postiats/prelude/HTML/ATSPRE_all_in_one.html

This can provide a primitive way to search for atslib-functions you want to
use in your code.

2

I have made those old doc pages available. Just click on the
name of an atspre-file to get the one for that file.On Thursday, December 4, 2014 4:31:55 AM UTC-5, Kiwamu Okabe wrote:

Hi Hongwei,

I made a single page containing nearly all code in ATSPRE
(ATSLIB/prelude):

http://ats-lang.sourceforge.net/DOCUMENT/ATS-Postiats/prelude/HTML/ATSPRE_all_in_one.html

This can provide a primitive way to search for atslib-functions you want
to
use in your code.

It’s usuful for me.
And, could you re-suport ATSPRE old style document?

Of course, I think

Kiwamu Okabe at METASEPI DESIGN

–
Kiwamu Okabe at METASEPI DESIGN

3

Yes. Just uploaded a new version.On Sunday, May 17, 2015 at 6:51:14 PM UTC-4, Yannick Duchêne wrote:

Does it still exist? I get an Error 404 instead of the page (I remember it
was fine before).

Le mercredi 3 décembre 2014 20:50:27 UTC+1, gmhwxi a écrit :

FYI.

I made a single page containing nearly all code in ATSPRE
(ATSLIB/prelude):

http://ats-lang.sourceforge.net/DOCUMENT/ATS-Postiats/prelude/HTML/ATSPRE_all_in_one.html

This can provide a primitive way to search for atslib-functions you want
to use in your code.

4

Does it still exist? I get an Error 404 instead of the page (I remember it
was fine before).Le mercredi 3 décembre 2014 20:50:27 UTC+1, gmhwxi a écrit :

FYI.

I made a single page containing nearly all code in ATSPRE (ATSLIB/prelude):

http://ats-lang.sourceforge.net/DOCUMENT/ATS-Postiats/prelude/HTML/ATSPRE_all_in_one.html

This can provide a primitive way to search for atslib-functions you want
to use in your code.