Google Group


Declaring a static constant with an external name (2)
ATS2-0.2.8 released (1)
Patsolve_smt2 (2)
Support for solving constraints on reals (1)
#ats tag wiki on StackOverflow (1)
Atscc2scm: from ATS to Scheme (9)
Pygame API in ATS (1)
Ifcase-expressions (3)
State type annotation (2)
To the jvm! (6)
ATS2-0.2.7 released (fwd) (1)
Releasing ATS2-0.2.7 (2)
Not that i like javascript systems at all but (7)
Glot.io, a code pastebin that can also run your code, now supports ATS (10)
Syntax-hilighting for ATS code in docbook (9)
Syntax spec? (Let vs where) (3)
Please PRETTY PLEASE ditch sourceforge (6)
Where to file tickets / discuss issues? (3)
Something other than C (8)
Very light-weight cooperative concurrency? (4)
So easily confused (1)
C compilation issue with an indexed, abstract, external type (templates not being instantiated) (8)
Script for installing/testing ATS2 under MSYS2 (4)
Script for installing/testing the latest ATS2 (1)
Dependent ML in use (2)
How to transform between statically allocated variable and reference (2)
How to make use of a reference to a linear value? (10)
Style change for the articles in EFFECTIVE-ATS series (1)
Staload dats files (2)
Strict aliasing in C code translated from ATS (2)