[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: C0 and TLAPLUS

I can't imagine that I said that, since I know almost nothing about
functional programming.

OK a piece of human misunderstanding due to the lack of formality of the human language :)

I'm happy this ambiguity is cleared up. It made me perplexed.