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

Re: C0 and TLAPLUS

From: fl <freder...@xxxxxxxxxxx>
Date: Tue, 6 Sep 2016 05:39:19 -0700 (PDT)
References: <467fad89-0d95-406e-9d82-f41ae3272f8e@googlegroups.com> <d9d6a6fb-ffdc-4f6e-9ece-bfec69b3d51a@googlegroups.com>

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.

--
FL

References:
- C0 and TLAPLUS
  - From: fl
- Re: C0 and TLAPLUS
  - From: Leslie Lamport

Prev by Date: Re: [tlaplus] C0 and TLAPLUS
Next by Date: Re: [tlaplus] C0 and TLAPLUS
Previous by thread: Re: C0 and TLAPLUS
Next by thread: RandomElement fails with TLC bug
Index(es):
- Date
- Thread