|
From ATS to JavaScript
|
|
32
|
1163
|
June 20, 2015
|
|
Is there a "eq_byte_byte"?
|
|
1
|
381
|
June 19, 2015
|
|
How to create value of type stamped_t (a, x)?
|
|
2
|
388
|
June 19, 2015
|
|
How to use gflist?
|
|
4
|
439
|
June 19, 2015
|
|
How to shape palindrome on ATS/LF?
|
|
25
|
1206
|
June 19, 2015
|
|
Quantifed constraints
|
|
12
|
582
|
June 16, 2015
|
|
Ats + z3
|
|
12
|
610
|
June 13, 2015
|
|
Ats2-0.2.0
|
|
7
|
520
|
June 13, 2015
|
|
GMP version/build problem
|
|
8
|
516
|
June 13, 2015
|
|
Recent ATS papers?
|
|
1
|
365
|
June 3, 2015
|
|
Ats repl
|
|
12
|
586
|
June 2, 2015
|
|
Creating a package written in ATS
|
|
13
|
672
|
May 29, 2015
|
|
What is the `>>` operator?
|
|
1
|
356
|
May 24, 2015
|
|
Porting atscc2js, atscc2php, atscc2py, and atscc2pl
|
|
0
|
306
|
May 23, 2015
|
|
Pony
|
|
0
|
333
|
May 23, 2015
|
|
Proofs affecting the dynamic semantics?
|
|
5
|
449
|
May 22, 2015
|
|
ATS2-0.1.13 released
|
|
0
|
328
|
May 22, 2015
|
|
What exactly do `prfun` and `prval`?
|
|
10
|
684
|
May 20, 2015
|
|
Is `a: some_type` a boolean expression? (or of sort boolean)
|
|
4
|
494
|
May 20, 2015
|
|
Packing a view and address in local scope
|
|
19
|
870
|
May 19, 2015
|
|
Overload Syntax
|
|
8
|
536
|
May 19, 2015
|
|
ATS2-0.1.12 released
|
|
10
|
566
|
May 19, 2015
|
|
Prfun vs fun: a syntactical difference
|
|
5
|
453
|
May 18, 2015
|
|
Stacst, stadef… and static? What is `static`?
|
|
2
|
404
|
May 18, 2015
|
|
Wrap a C Function with Variable Length Argument List
|
|
22
|
1084
|
May 18, 2015
|
|
Some ATS codes for old version of "software foundations" book
|
|
2
|
372
|
May 18, 2015
|
|
How to port?
|
|
4
|
447
|
May 18, 2015
|
|
Defining a function with internal mutable state
|
|
5
|
501
|
May 18, 2015
|
|
Stadef: are the bindings overloadable?
|
|
5
|
473
|
May 18, 2015
|
|
All-in-one for ATSPRE
|
|
3
|
411
|
May 17, 2015
|