Hi, there, I have managed to put up the so-called ATS3-prelude library, which is entirely template-based.
If you have already installed ATS2, then you can readily try xats2js-in-ats3 (which is the current compiler from ATS3 to JS that is also written in ATS3). Step0: Assume that ATS2 is already installed Step1: Please git-clone the following repository: https://github.com/githwxi/ATS-Xanadu Step2: Do the following: cd ATS-Xanadu make -f Makefile_overall # which builds several tools for using xats2js For instance, I am teaching a compiler class at BU (CS525), and here is the compiler project for my class that is written in ATS3: https://github.com/hwxi/CS525-2024-Fall/tree/main/lambdas/lambda0/XATS (It will grow weekly). BTW, you need to install node (and, optionally, bun). Have fun with template-based programming. If you have never tried it I won't be surprised that this feature can blow your mind off a bit. It did to me and is still doing it from time to time :) Cheers! --Hongwei Chief designer and implementer of ATS3/Xanadu -- 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/52a5267e-bbbc-4828-8885-3c0238e9e42an%40googlegroups.com.
