|
Declaring a static constant with an external name
|
|
1
|
541
|
June 30, 2016
|
|
ATS2-0.2.8 released
|
|
0
|
416
|
June 29, 2016
|
|
Patsolve_smt2
|
|
1
|
413
|
June 26, 2016
|
|
Support for solving constraints on reals
|
|
0
|
511
|
June 23, 2016
|
|
#ats tag wiki on StackOverflow
|
|
0
|
453
|
June 11, 2016
|
|
Atscc2scm: from ATS to Scheme
|
|
8
|
720
|
June 10, 2016
|
|
Pygame API in ATS
|
|
0
|
411
|
May 24, 2016
|
|
Ifcase-expressions
|
|
2
|
572
|
May 23, 2016
|
|
State type annotation
|
|
1
|
492
|
May 22, 2016
|
|
To the jvm!
|
|
5
|
697
|
May 20, 2016
|
|
ATS2-0.2.7 released (fwd)
|
|
0
|
485
|
May 14, 2016
|
|
Releasing ATS2-0.2.7
|
|
1
|
440
|
May 13, 2016
|
|
Not that i like javascript systems at all but
|
|
6
|
671
|
May 12, 2016
|
|
Glot.io, a code pastebin that can also run your code, now supports ATS
|
|
9
|
864
|
May 10, 2016
|
|
Syntax-hilighting for ATS code in docbook
|
|
8
|
790
|
May 7, 2016
|
|
Syntax spec? (Let vs where)
|
|
2
|
525
|
May 6, 2016
|
|
Please PRETTY PLEASE ditch sourceforge
|
|
5
|
659
|
May 6, 2016
|
|
Where to file tickets / discuss issues?
|
|
2
|
482
|
May 6, 2016
|
|
Something other than C
|
|
7
|
653
|
May 4, 2016
|
|
Very light-weight cooperative concurrency?
|
|
3
|
530
|
May 4, 2016
|
|
So easily confused
|
|
0
|
410
|
May 4, 2016
|
|
C compilation issue with an indexed, abstract, external type (templates not being instantiated)
|
|
7
|
552
|
April 29, 2016
|
|
Script for installing/testing ATS2 under MSYS2
|
|
3
|
509
|
April 25, 2016
|
|
Script for installing/testing the latest ATS2
|
|
0
|
456
|
April 12, 2016
|
|
Dependent ML in use
|
|
1
|
450
|
April 8, 2016
|
|
How to transform between statically allocated variable and reference
|
|
1
|
470
|
April 5, 2016
|
|
How to make use of a reference to a linear value?
|
|
9
|
648
|
April 4, 2016
|
|
Style change for the articles in EFFECTIVE-ATS series
|
|
0
|
446
|
March 30, 2016
|
|
Staload dats files
|
|
1
|
448
|
March 20, 2016
|
|
Strict aliasing in C code translated from ATS
|
|
1
|
476
|
March 16, 2016
|