I’ve added a C interface article, which is at
It should be fairly complete (but I’m sure there is at least something
worth saying that is probably forgotten), so if you happen to look at it
and see anything missing or any inaccuracies, let’s try to fix it.
Thanks,On Thu, Oct 2, 2014 at 9:20 AM, Brandon Barker brandon...@gmail.com wrote:
Well, I spoke too soon, the diffs still look pretty bad, but I don’t know
why.On Thu, Oct 2, 2014 at 9:16 AM, Brandon Barker brandon...@gmail.com wrote:
I re-cloned the wiki at GitHub - bbarker/ATS-Postiats-wiki: A clone of the ATS wiki, which can be found at https://github.com/githwxi/ATS-Postiats/wiki,
mainly as a convenient place to view diffs. Previously, the diffs were
pretty bad at times due to not handling end-of-lines correctly in the
merge, but this should no longer be an issue.On Mon, Sep 29, 2014 at 1:24 PM, Hongwei Xi gmh...@gmail.com wrote:
Thanks for your effort!
It is a wiki, so feel free to write down what you think is the best
interpretation of these keywords.On Sun, Sep 28, 2014 at 4:37 PM, ‘Yannick Duchêne’ via ats-lang-users < ats-lan...@googlegroups.com> wrote:
Le dimanche 28 septembre 2014 22:36:41 UTC+2, Yannick Duchêne a écrit :
Le vendredi 8 août 2014 23:43:32 UTC+2, Brandon Barker a écrit :
In an effort to consolidate some resources around github, the new
wiki can be found at:As keywords and their summarized meaning is an important entry point
to the knowledge and understanding of a language (as much important as the
language’s grammar), I wanted to start completing the already started page
on keywords. But I’m always afraid of making errors, so would feel a bit
better is anyone would have even a quick review of it.Oh, sorry, I forget the link:
https://github.com/githwxi/ATS-Postiats/wiki/keywords–
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-user...@googlegroups.com.
To post to this group, send email to ats-lan...@googlegroups.com.
Visit this group at http://groups.google.com/group/ats-lang-users.
To view this discussion on the web visit
https://groups.google.com/d/msgid/ats-lang-users/f0618788-5e7e-4cd7-b634-790bea6c2d3a%40googlegroups.com
https://groups.google.com/d/msgid/ats-lang-users/f0618788-5e7e-4cd7-b634-790bea6c2d3a%40googlegroups.com?utm_medium=email&utm_source=footer
.–
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-user...@googlegroups.com.
To post to this group, send email to ats-lan...@googlegroups.com.
Visit this group at http://groups.google.com/group/ats-lang-users.
To view this discussion on the web visit
https://groups.google.com/d/msgid/ats-lang-users/CAPPSPLqnn--ZyWVSV4PjxaP2dtUw1q84KZ8p--bfgScyHuY0Qw%40mail.gmail.com
https://groups.google.com/d/msgid/ats-lang-users/CAPPSPLqnn--ZyWVSV4PjxaP2dtUw1q84KZ8p--bfgScyHuY0Qw%40mail.gmail.com?utm_medium=email&utm_source=footer
.–
Brandon Barker
brandon...@gmail.com–
Brandon Barker
brandon...@gmail.com
Brandon Barker
brandon...@gmail.com