[
Date Prev
][
Date Next
][
Thread Prev
][
Thread Next
][
Date Index
][
Thread Index
]
TLA+ wikipedia article
From
: Andrew Helwer <
andrew...@xxxxxxxxx
>
Date
: Mon, 27 Apr 2015 10:40:10 -0700 (PDT)
Looks some (anonymous) person was busy creating a new TLA+ Wikipedia article yesterday, April 26th:
https://en.wikipedia.org/w/index.php?title=TLA%2B&action="">
Was it anyone here? Writing the article has been on my plate for a while but never got around to it. I'm interested in contributing but don't want to step all over your drafts.
Follow-Ups
:
Re: [tlaplus] TLA+ wikipedia article
From:
Hernán Vanzetto
Prev by Date:
RE: [tlaplus] Hyperbook section 4.6: suggested clarification
Next by Date:
Re: [tlaplus] TLA+ wikipedia article
Previous by thread:
RE: [tlaplus] Hyperbook section 4.6: suggested clarification
Next by thread:
Re: [tlaplus] TLA+ wikipedia article
Index(es):
Date
Thread