Revision as of 23:01, 24 March 2020 edit Opencooper (talk \| contribs) Autopatrolled, Extended confirmed users 60,857 edits →‎History: Proper quote formatting; quotation marks in a blockquote are redundant (MOS:BLOCKQUOTE) ← Previous edit		Revision as of 23:10, 24 March 2020 edit undo Opencooper (talk \| contribs) Autopatrolled, Extended confirmed users 60,857 edits →‎top: while appreciated, this is not a case which benefits from the pronunciation help, being a straightforward initialism; refer to MOS:PRON: "pronunciation should normally be omitted for common words or when obvious from the spelling" Next edit →
Line 55: \| wikibooks = }} '''TLA<sup>+</sup>''' ~~([[English alphabet#Letter names\|pronounced]] as ''tee ell a plus'', {{IPAc-en\|'\|t\|iː\|_\|ɛ\|l\|_\|eɪ\|_\|p\|l\|ʌ\|s}})~~ is a [[formal specification]] language developed by [[Leslie Lamport]]. It is used to design, model, document, and verify programs, especially [[concurrent systems]] and [[distributed systems]]. TLA<sup>+</sup> has been described as exhaustively-testable [[pseudocode]],<ref name="awsorig"> {{cite web \| last = Newcombe

TLA+: Difference between revisions