|
Embedding differential equations into types
|
|
10
|
1181
|
July 17, 2016
|
|
Atscc2clj
|
|
4
|
701
|
July 17, 2016
|
|
Linear component may be abandoned
|
|
4
|
758
|
July 14, 2016
|
|
A demo of memorizing functions in ATS
|
|
5
|
928
|
July 14, 2016
|
|
Thinking about moving this group to Discourse
|
|
0
|
553
|
July 14, 2016
|
|
Support for tail-call optimization in atscc2erl and atscc2scm
|
|
1
|
573
|
July 14, 2016
|
|
Effective ATS: linear streams for memory-clean programs
|
|
3
|
783
|
July 13, 2016
|
|
Real-time OS system state captured by ATS language (and questions)
|
|
12
|
1393
|
July 10, 2016
|
|
I found a quine using ATS language
|
|
0
|
648
|
July 1, 2016
|
|
Disabling tail-call optimization
|
|
1
|
506
|
July 1, 2016
|
|
Error compiling package in more recent ATS builds
|
|
6
|
818
|
July 1, 2016
|
|
Declaring a static constant with an external name
|
|
1
|
600
|
June 30, 2016
|
|
ATS2-0.2.8 released
|
|
0
|
443
|
June 29, 2016
|
|
Patsolve_smt2
|
|
1
|
444
|
June 26, 2016
|
|
Support for solving constraints on reals
|
|
0
|
531
|
June 23, 2016
|
|
#ats tag wiki on StackOverflow
|
|
0
|
488
|
June 11, 2016
|
|
Atscc2scm: from ATS to Scheme
|
|
8
|
805
|
June 10, 2016
|
|
Pygame API in ATS
|
|
0
|
442
|
May 24, 2016
|
|
Ifcase-expressions
|
|
2
|
612
|
May 23, 2016
|
|
State type annotation
|
|
1
|
531
|
May 22, 2016
|
|
To the jvm!
|
|
5
|
781
|
May 20, 2016
|
|
ATS2-0.2.7 released (fwd)
|
|
0
|
510
|
May 14, 2016
|
|
Releasing ATS2-0.2.7
|
|
1
|
464
|
May 13, 2016
|
|
Not that i like javascript systems at all but
|
|
6
|
764
|
May 12, 2016
|
|
Glot.io, a code pastebin that can also run your code, now supports ATS
|
|
9
|
968
|
May 10, 2016
|
|
Syntax-hilighting for ATS code in docbook
|
|
8
|
875
|
May 7, 2016
|
|
Syntax spec? (Let vs where)
|
|
2
|
591
|
May 6, 2016
|
|
Please PRETTY PLEASE ditch sourceforge
|
|
5
|
743
|
May 6, 2016
|
|
Where to file tickets / discuss issues?
|
|
2
|
541
|
May 6, 2016
|
|
Something other than C
|
|
7
|
751
|
May 4, 2016
|