Hi, ats-lang-users, I have been working on bootstrapping ATS3 (that is, implementing ATS3 in ATS3) for quite a bit over 2 years. We now have two compilers for compiling ATS3 into JS:
xats2js_in_ats2: https://github.com/githwxi/ATS-Xanadu/tree/master/srcgen1 xats2js_in_ats3 https://github.com/githwxi/ATS-Xanadu/tree/master/srcgen2 Bootstrapping is not yet done as the second compiler above cannot yet fully compile itself into JS; some further tuning is needed to sort things out. Before working on xats2cc_in_ats3 (which compiles ATS3 into a small subset of C), I will attempt to work on documenting ATS3. There is definitely a lot of stuff to write about. Cheers! Yours truely, --Hongwei -- 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 [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/ats-lang-users/756977b9-cb5b-4abd-ada8-9f1d85f0aff2n%40googlegroups.com.
