The Forum for Discussion about The Third Manifesto and Related Matters

You need to log in to create posts and topics.

TTM General discussion

TopicsLast post
An alternative to open expressionsBy dandl · 13 RepliesLast post: 1 week ago · dandl
Another better sample of 'C# as D'By dandl2 RepliesLast post: 2 months ago · Erwin
Does RM Pro 4 really preclude NULLs?By dandl · 21 RepliesLast post: 2 months ago · dandl
Relcons and relfuns are both FOPLBy dandl9 RepliesLast post: 2 months ago · AntC
Formalisation of Transitive ClosureBy dandl8 RepliesLast post: 2 months ago · dandl
Formalisation of Appendix A 'relcons'By dandl0 RepliesLast post: 2 months ago · dandl
A better sample of 'C# as D' Mark IIBy dandl0 RepliesLast post: 2 months ago · dandl
Heading inference, not type inferenceBy dandl · 30 RepliesLast post: 2 months ago · AntC
Defining a function relation by means of a headingBy dandl · 13 RepliesLast post: 2 months ago · AntC
Update on "C# is a D" projectBy dandl · 36 RepliesLast post: 3 months ago · Dave Voorhis
3 months ago
Dave Voorhis
Why not relational ordering operators?By dandl · 21 RepliesLast post: 3 months ago · dandl
Java JOINBy Dave Voorhis · 17 RepliesLast post: 3 months ago · dandl
Some issues with TTMBy dandl · 33 RepliesLast post: 3 months ago · dandl
A TTM Tuple is not a RecordBy dandl · 59 RepliesLast post: 3 months ago · dandl