I used this for 
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 
> 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 

Reply via email to