|
![](/i/fill.gif) |
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
|
![](/i/fill.gif) |