|
Whither C++? food for thought
|
|
3
|
461
|
March 5, 2016
|
|
Atexting: ATS/Texting
|
|
4
|
599
|
February 26, 2016
|
|
Jsonized level-2 abstract syntax trees
|
|
0
|
469
|
February 26, 2016
|
|
List-folding combinators
|
|
0
|
426
|
February 25, 2016
|
|
Built-in sort for strings
|
|
0
|
445
|
February 15, 2016
|
|
Built-in sort for floating point numbers
|
|
0
|
392
|
February 15, 2016
|
|
GPL license for libraries (#154)
|
|
8
|
697
|
February 12, 2016
|
|
Is it possible to change some wording on the site?
|
|
0
|
449
|
February 11, 2016
|
|
Patscc-pp
|
|
14
|
893
|
February 11, 2016
|
|
Imperative vs. functional vs. linear functional
|
|
7
|
670
|
February 11, 2016
|
|
ATS2-0.2.6 released (fwd)
|
|
0
|
410
|
February 6, 2016
|
|
Trying out ATS2/ATS2-contrib
|
|
1
|
500
|
February 5, 2016
|
|
Poor man's way of drawing text
|
|
0
|
478
|
January 23, 2016
|
|
Line pragmas in ATS2 source
|
|
9
|
715
|
January 18, 2016
|
|
Forcing template instantiation failing
|
|
0
|
461
|
January 17, 2016
|
|
Var preservation constraint fails
|
|
3
|
548
|
January 17, 2016
|
|
ATS Foundation
|
|
0
|
402
|
January 16, 2016
|
|
I can't use local in
|
|
2
|
502
|
January 14, 2016
|
|
Html2pats
|
|
2
|
562
|
January 13, 2016
|
|
Lists and arrays of mixed types
|
|
12
|
736
|
January 7, 2016
|
|
Two styles of theorem-proving
|
|
2
|
491
|
January 6, 2016
|
|
A section on linear strings
|
|
1
|
462
|
January 4, 2016
|
|
Higher order functions and templates
|
|
6
|
632
|
January 4, 2016
|
|
Automatic swap of function arguments
|
|
6
|
639
|
January 3, 2016
|
|
Type sig error in chapter 13.1
|
|
1
|
526
|
January 3, 2016
|
|
Metasepi's year 2015
|
|
2
|
520
|
January 2, 2016
|
|
Stack-allocated closures
|
|
0
|
436
|
January 2, 2016
|
|
Semi-static values as global data and static datatypes
|
|
4
|
581
|
January 1, 2016
|
|
GC of closures
|
|
28
|
1550
|
January 1, 2016
|
|
Vars and viewtypes and implicit cod
|
|
1
|
464
|
January 1, 2016
|