|
ATS2-0.2.4 released
|
|
4
|
530
|
December 15, 2015
|
|
Constraint solver: what can safely be assumed about its capacity?
|
|
9
|
644
|
December 14, 2015
|
|
Stadef and stacst questions: am I missing Skolen constants?
|
|
20
|
1232
|
December 13, 2015
|
|
#define and macdef
|
|
8
|
707
|
December 12, 2015
|
|
`dataprop`: is requiring multiple premisses instead of a single one possible?
|
|
5
|
507
|
December 12, 2015
|
|
Bitwise operations
|
|
12
|
887
|
December 12, 2015
|
|
The thread of the errors in the docs
|
|
23
|
1397
|
December 12, 2015
|
|
Effective ATS: Session Combinators
|
|
1
|
435
|
December 11, 2015
|
|
Wording and interpretation: propositions, predicates and types
|
|
14
|
1007
|
December 11, 2015
|
|
`showtype` vs `$showtype`
|
|
1
|
452
|
December 11, 2015
|
|
Universal quantifier on function result: does it means what it looks to?
|
|
26
|
1262
|
December 11, 2015
|
|
ATS may need a keywords-indexed reference
|
|
6
|
581
|
December 11, 2015
|
|
Wording question: predicative and impredicative
|
|
4
|
627
|
December 10, 2015
|
|
ATS books in pdf format
|
|
7
|
576
|
December 10, 2015
|
|
Separate declaration and definition of prfn does not respect termination requirements
|
|
4
|
616
|
December 3, 2015
|
|
Escaped character in single quoted string
|
|
2
|
451
|
December 2, 2015
|
|
Wrt effect when assigning view of vtype reference
|
|
1
|
465
|
December 1, 2015
|
|
Extracting the existentially-bound variables of an existentially quantified type?
|
|
3
|
454
|
December 1, 2015
|
|
Obtaining reference to field of reference record?
|
|
2
|
523
|
November 30, 2015
|
|
Effective ATS: Session-typed Channels
|
|
2
|
448
|
November 26, 2015
|
|
Redefining function template
|
|
5
|
570
|
November 25, 2015
|
|
Content delivery for libatscc2js_all.js
|
|
7
|
575
|
November 25, 2015
|
|
Scripts for installing ATS2/ATS2-contrib
|
|
3
|
552
|
November 24, 2015
|
|
Can't use arrayref outside file
|
|
4
|
542
|
November 22, 2015
|
|
Syntactic sugar for an implementations context
|
|
0
|
449
|
November 20, 2015
|
|
Passing arrayref to C
|
|
22
|
1383
|
November 18, 2015
|
|
Atspre_compare_string_string problem
|
|
0
|
402
|
November 17, 2015
|
|
Strcmp in prelude/SATS/string.sats
|
|
0
|
478
|
November 17, 2015
|
|
Compiler option questions
|
|
1
|
429
|
November 17, 2015
|
|
Session types in action
|
|
0
|
411
|
November 17, 2015
|