The Forum for Discussion about The Third Manifesto and Related Matters

The Third Manifesto ForumActivity

You need to log in to create posts and topics.

Activity

Activity in the last 14 days.

Today

Dave Voorhis replied in Clarification re local relvar and KEY. 16 mins ago

New topic Clarification re local relvar and KEY created by dandl. 2 hours ago

2 days ago

dandl replied in Formalisation of Transitive Closure. 2 days ago

3 days ago

Dave Voorhis replied in Formalisation of Transitive Closure. 3 days ago

dandl replied in Formalisation of Transitive Closure. 3 days ago

New topic Formal definitions for Relation Constant, Transitive Closure, Extended Transitive Closure created by dandl. 3 days ago

AntC replied in Formalisation of Transitive Closure. 3 days ago

4 days ago

dandl replied in Formalisation of Transitive Closure. 4 days ago

AntC replied in Formalisation of Transitive Closure. 4 days ago

dandl replied in Formalisation of Transitive Closure. 4 days ago

AntC replied in Formalisation of Transitive Closure. 4 days ago

New topic Formalisation of Transitive Closure created by dandl. 4 days ago

5 days ago

New topic Formalisation of Appendix A 'relcons' created by dandl. 5 days ago

New topic A better sample of 'C# as D' Mark II created by dandl. 5 days ago

AntC replied in Heading inference, not type inference. 5 days ago

AntC replied in Heading inference, not type inference. 5 days ago

dandl replied in Heading inference, not type inference. 5 days ago

dandl replied in Heading inference, not type inference. 5 days ago

6 days ago

Dave Voorhis replied in Heading inference, not type inference. 6 days ago

AntC replied in Heading inference, not type inference. 6 days ago

AntC replied in Heading inference, not type inference. 6 days ago

dandl replied in Heading inference, not type inference. 6 days ago

7 days ago

Dave Voorhis replied in Heading inference, not type inference. 7 days ago

1 week ago

AntC replied in Defining a function relation by means of a heading. 1 week ago

dandl replied in Heading inference, not type inference. 1 week ago

Dave Voorhis replied in Heading inference, not type inference. 1 week ago

Dave Voorhis replied in Defining a function relation by means of a heading. 1 week ago

dandl replied in Heading inference, not type inference. 1 week ago

dandl replied in Defining a function relation by means of a heading. 1 week ago

Dave Voorhis replied in Heading inference, not type inference. 1 week ago

Dave Voorhis replied in Defining a function relation by means of a heading. 1 week ago

dandl replied in Heading inference, not type inference. 1 week ago

dandl replied in Heading inference, not type inference. 1 week ago

AntC replied in Heading inference, not type inference. 1 week ago

dandl replied in Defining a function relation by means of a heading. 1 week ago

Dave Voorhis replied in Heading inference, not type inference. 1 week ago

Dave Voorhis replied in Defining a function relation by means of a heading. 1 week ago

dandl replied in Defining a function relation by means of a heading. 1 week ago

dandl replied in Defining a function relation by means of a heading. 1 week ago

dandl replied in Heading inference, not type inference. 1 week ago

Dave Voorhis replied in Defining a function relation by means of a heading. 1 week ago

AntC replied in Defining a function relation by means of a heading. 1 week ago

AntC replied in Heading inference, not type inference. 1 week ago

dandl replied in Defining a function relation by means of a heading. 1 week ago

Darren Duncan replied in Defining a function relation by means of a heading. 1 week ago

dandl replied in Heading inference, not type inference. 1 week ago

Dave Voorhis replied in Heading inference, not type inference. 1 week ago

dandl replied in Heading inference, not type inference. 1 week ago

2 weeks ago

p c replied in Defining a function relation by means of a heading. 2 weeks ago

AntC replied in Heading inference, not type inference. 2 weeks ago