|
ATS2-0.2.4 released
|
|
4
|
527
|
December 15, 2015
|
|
Constraint solver: what can safely be assumed about its capacity?
|
|
9
|
615
|
December 14, 2015
|
|
Stadef and stacst questions: am I missing Skolen constants?
|
|
20
|
1209
|
December 13, 2015
|
|
#define and macdef
|
|
8
|
686
|
December 12, 2015
|
|
`dataprop`: is requiring multiple premisses instead of a single one possible?
|
|
5
|
506
|
December 12, 2015
|
|
Bitwise operations
|
|
12
|
880
|
December 12, 2015
|
|
The thread of the errors in the docs
|
|
23
|
1342
|
December 12, 2015
|
|
Effective ATS: Session Combinators
|
|
1
|
430
|
December 11, 2015
|
|
Wording and interpretation: propositions, predicates and types
|
|
14
|
978
|
December 11, 2015
|
|
`showtype` vs `$showtype`
|
|
1
|
445
|
December 11, 2015
|
|
Universal quantifier on function result: does it means what it looks to?
|
|
26
|
1247
|
December 11, 2015
|
|
ATS may need a keywords-indexed reference
|
|
6
|
573
|
December 11, 2015
|
|
Wording question: predicative and impredicative
|
|
4
|
622
|
December 10, 2015
|
|
ATS books in pdf format
|
|
7
|
569
|
December 10, 2015
|
|
Separate declaration and definition of prfn does not respect termination requirements
|
|
4
|
614
|
December 3, 2015
|
|
Escaped character in single quoted string
|
|
2
|
447
|
December 2, 2015
|
|
Wrt effect when assigning view of vtype reference
|
|
1
|
464
|
December 1, 2015
|
|
Extracting the existentially-bound variables of an existentially quantified type?
|
|
3
|
452
|
December 1, 2015
|
|
Obtaining reference to field of reference record?
|
|
2
|
514
|
November 30, 2015
|
|
Effective ATS: Session-typed Channels
|
|
2
|
436
|
November 26, 2015
|
|
Redefining function template
|
|
5
|
565
|
November 25, 2015
|
|
Content delivery for libatscc2js_all.js
|
|
7
|
565
|
November 25, 2015
|
|
Scripts for installing ATS2/ATS2-contrib
|
|
3
|
547
|
November 24, 2015
|
|
Can't use arrayref outside file
|
|
4
|
540
|
November 22, 2015
|
|
Syntactic sugar for an implementations context
|
|
0
|
447
|
November 20, 2015
|
|
Passing arrayref to C
|
|
22
|
1313
|
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
|
428
|
November 17, 2015
|
|
Session types in action
|
|
0
|
405
|
November 17, 2015
|