diff options
| author | Fourchaux <jprodi04@gmail.com> | 2022-11-07 12:25:08 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-11-07 11:25:08 +0000 |
| commit | 97eb1bc9b9cf9a2b1ae14f8b8b5d42b27c1a8eac (patch) | |
| tree | afaa4d04d46b459a17c776fadf0c4e5f389a5480 /manual | |
| parent | 134f7c9bd64be87ae7add87fcafb5567ace3213b (diff) | |
| download | ocaml-97eb1bc9b9cf9a2b1ae14f8b8b5d42b27c1a8eac.tar.gz | |
Fixing typos (#11705)
* Fixing typos
Diffstat (limited to 'manual')
| -rw-r--r-- | manual/src/refman/extensions/bindingops.etex | 2 | ||||
| -rw-r--r-- | manual/styles/html.sty | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/manual/src/refman/extensions/bindingops.etex b/manual/src/refman/extensions/bindingops.etex index 3542877fba..74b462762e 100644 --- a/manual/src/refman/extensions/bindingops.etex +++ b/manual/src/refman/extensions/bindingops.etex @@ -32,7 +32,7 @@ working with monads and applicative functors; for those, we propose conventions using operators "*" and "+" respectively. They may be used for other purposes, but one should keep in mind that each new unfamiliar notation introduced makes programs harder to understand for -non-experts. We expect that new conventions will be developped over +non-experts. We expect that new conventions will be developed over time on other families of operator. \subsection{ss:letop-examples}{Examples} diff --git a/manual/styles/html.sty b/manual/styles/html.sty index 137fdf1635..8e56474836 100644 --- a/manual/styles/html.sty +++ b/manual/styles/html.sty @@ -105,7 +105,7 @@ % Basic approach: % to comment something out, scoop up every line in verbatim mode % as macro argument, then throw it away. -% For inclusions, both the opening and closing comands +% For inclusions, both the opening and closing commands % are defined as noop % % Changed \next to \html@next to prevent clashes with other sty files |