On Sat, Oct 20, 2018 at 11:35 PM Vanessa McHale <vanessa.mch...@iohk.io> wrote: > language-xats is being written by reading the source code
Yes. I agree. It seems like readable specification for me. (But... do you mean Hongwei's ATS3 parser is not human readable? :) ) > - that of the > lexer and that of the parser. The parser has some comments which I > assume are a notation like BNF, e.g. > https://github.com/githwxi/ATS-Xanadu/blob/master/srcgen/xats/SATS/parsing.sats#L349 Thanks. It's a best starting point on ATS3 for me. -- Kiwamu Okabe at METASEPI DESIGN -- 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/CAEvX6dmjw6BGGaA6UONSFu%2Bx%3D5ZL1O0LtQn7Cz5YNNFDnk9kcQ%40mail.gmail.com.
