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

Re: TLA+ theory blog post series + new subreddit

From: fl <freder...@xxxxxxxxxxx>
Date: Sat, 3 Jun 2017 01:52:05 -0700 (PDT)
References: <e94e6084-b49c-4a75-93dd-cbd941bb2d5b@googlegroups.com> <bbb39abb-6686-4feb-9719-21a706334762@googlegroups.com> <0f2ac112-68b2-4766-9311-f8191a5a2a6a@googlegroups.com> <52f15909-4904-425b-9356-f34118e155ea@googlegroups.com>

All that to say that, in my opinion, speaking of HOL in connection with TLAPLUS is not a good idea.

It needs too many words to be accurate and it is not related to the subject anyway.

--

FL

References:
- TLA+ theory blog post series + new subreddit
  - From: Ron Pressler
- Re: TLA+ theory blog post series + new subreddit
  - From: Ron Pressler
- Re: TLA+ theory blog post series + new subreddit
  - From: fl
- Re: TLA+ theory blog post series + new subreddit
  - From: fl

Prev by Date: Re: [tlaplus] Seq({"xxx"}) is not enumerable
Next by Date: Re: TLA+ theory blog post series + new subreddit
Previous by thread: Re: TLA+ theory blog post series + new subreddit
Next by thread: Re: TLA+ theory blog post series + new subreddit
Index(es):
- Date
- Thread