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/b56feb38-a658-4bd3-a873-e6cd2c8edf04%40googlegroups.com.
