diff options
| author | Drahflow <drahflow@gmx.de> | 2015-06-30 12:52:00 +0200 |
|---|---|---|
| committer | Drahflow <drahflow@gmx.de> | 2015-06-30 12:52:00 +0200 |
| commit | 235cc5a37e0138ef97ab4df9a4099cf7a70195c5 (patch) | |
| tree | 78232fc150b3cb62ea1736df0324e37cd978ee00 /doc/execution.md | |
| parent | 7d3be125147c4012299279703491f3cad5822765 (diff) | |
Typo.
Diffstat (limited to 'doc/execution.md')
| -rw-r--r-- | doc/execution.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/execution.md b/doc/execution.md index 98905fe..91e2d94 100644 --- a/doc/execution.md +++ b/doc/execution.md @@ -199,7 +199,7 @@ function object is created. ] To make everything shorter in the common cases, the two functions `'` and `'*` exist as a convenience. -`'` takes a string of digits a dot, which specifies input and output argument types, and a function, and +`'` takes a string of digits and a dot, which specifies input and output argument types, and a function, and invokes `''` appropriately. Digits before the dot become integers in the input argument array, those after the dot go into the output array. Finally `'*` also executes the resulting function right away. |
