Skip to content

Commit 50c9420

Browse files
authored
fix: typo in conceptual-overview.rst (#93)
from "... the could would look like this:" to "... the code would look like this:"
1 parent 386491b commit 50c9420

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

docs/intro/conceptual-overview.rst

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -6,7 +6,7 @@ Conceptual Overview
66

77
To justify the value of TLA+, let's talk about how it's useful, and how it's different from programming languages.
88

9-
Imagine we're building a wire transfer service for a bank. Users can make transfers to other users. As a requirement, we don't allow any wires that would overdraft the user's account, or make it go below zero dollars. At a high level, the could would look like this:
9+
Imagine we're building a wire transfer service for a bank. Users can make transfers to other users. As a requirement, we don't allow any wires that would overdraft the user's account, or make it go below zero dollars. At a high level, the code would look like this:
1010

1111
.. code-block::
1212

0 commit comments

Comments
 (0)