Thanks for your effort! Please don't wait for ATS3, which is just a dream as of now :)
On Wednesday, March 7, 2018 at 12:54:34 PM UTC-5, [email protected] wrote: > > I've started working on a fork of ATS2-mode for Emacs/Spacemacs. The repo > is public <https://github.com/theindigamer/ats2-mode> but there are still > many missing features and bugs, plus I have zero ATS skills and ε Emacs > lisp skills, so yeah, don't go in expecting much should you start to use it. > > (So far, I've seen many forks but it isn't clear which one does what...) > > Is this a worthwhile project for folks, or would it be more prudent to > work on things once the syntax for ATS3 has been finalized? I'm not looking > to write anything big in ATS myself (at least in the near future) but it > would be nice to have proper syntax highlighting as a learner. > > If this is of interest right now, where do I find the grammar for ATS2? I > did find a description of the ATS1 grammar on the old website but not much > else... > -- 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/94124d12-3699-4eeb-868f-e53b4be1c08f%40googlegroups.com.
