Neat! On Monday, July 25, 2016 at 12:58:55 PM UTC-4, gmhwxi wrote: > > > I am thinking about building some on-line services for easing the > use of the ATS programming language system. For the moment, > I managed to finish one that supports syntax-hiliting for ATS code: > > http://www.ats-lang.org/Resources.html#Pats2xhtmlization_service > > Basically, one can now readily include ATS code in HTML and then > activate the service to syntax-hilite the code. In the near future, I would > like to support similar services for typechecking and compilting ATS code. > > Cheers! > > --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 post to this group, send email to [email protected]. Visit this group at https://groups.google.com/group/ats-lang-users. To view this discussion on the web visit https://groups.google.com/d/msgid/ats-lang-users/5b24f212-5459-44b6-9ba3-1acab19b5476%40googlegroups.com.
