On 14/10/2010 08:51 PM, nemesis wrote:

> The "weird" syntax seems to come from logic, propositional logic or
> logic of predicates, I don't remember.

Mmm, OK.

> Type theory is a branch of Logic, of course.

Really? That's weird...

Post a reply to this message