I used this for IntelliJATS: https://github.com/bbarker/IntelliJATS/blob/master/src/com/atslangplugin/ATS.bnf and https://github.com/bbarker/IntelliJATS/blob/master/src/com/atslangplugin/ATS.flex. I hope it helps. Unfortunately, it has been a while, and I'd have to go dig through the ATS2 source to recall where I got that from.
On Wednesday, March 7, 2018 at 12:54:34 PM UTC-5, theindi...@gmail.com 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 ats-lang-users+unsubscr...@googlegroups.com. To post to this group, send email to ats-lang-users@googlegroups.com. 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/03712c7f-f623-4864-bd8e-01e8356fe944%40googlegroups.com.
