diff --git a/_odoc-theme/manual.css b/_odoc-theme/manual.css
index 5e17c4d3..92a1b438 100644
--- a/_odoc-theme/manual.css
+++ b/_odoc-theme/manual.css
@@ -3,8 +3,8 @@
@import url("theme.css");
/* Copyright (c) 2019 The odig programmers. All rights reserved.
- SPDX-License-Identifier: ISC
- odig v0.1.0 */
+ Distributed under the ISC license, see terms at the end of the file.
+ odig v0.0.9 */
:root { --font-headings: "PT-Sans-Caption";
--font-body: "PT-Sans";
@@ -373,4 +373,4 @@ ANY SPECIAL, DIRECT, INDIRECT, OR CONSEQUENTIAL DAMAGES OR ANY DAMAGES
WHATSOEVER RESULTING FROM LOSS OF USE, DATA OR PROFITS, WHETHER IN AN
ACTION OF CONTRACT, NEGLIGENCE OR OTHER TORTIOUS ACTION, ARISING OUT OF
OR IN CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE.
-*/
\ No newline at end of file
+*/
diff --git a/_odoc-theme/odoc.css b/_odoc-theme/odoc.css
index c6362b73..1dbc9da2 100644
--- a/_odoc-theme/odoc.css
+++ b/_odoc-theme/odoc.css
@@ -3,7 +3,7 @@
@import url("theme.css");
/* Copyright (c) 2019 The odig programmers. All rights reserved.
- SPDX-License-Identifier: ISC */
+ Distributed under the ISC license, see terms at the end of the file. */
/* Reset a few things. */
@@ -62,7 +62,7 @@ table { border-collapse: collapse; border-spacing: 0; }
.odoc-nav { grid-area: nav; }
.odoc-preamble { grid-area: header; }
.odoc-content { grid-area: content; margin: 0 }
-.odoc-tocs
+.odoc-toc
{ grid-area: toc;
margin-top: var(--size-line);
border-top: solid thin var(--color-rule); }
@@ -331,4 +331,4 @@ ANY SPECIAL, DIRECT, INDIRECT, OR CONSEQUENTIAL DAMAGES OR ANY DAMAGES
WHATSOEVER RESULTING FROM LOSS OF USE, DATA OR PROFITS, WHETHER IN AN
ACTION OF CONTRACT, NEGLIGENCE OR OTHER TORTIOUS ACTION, ARISING OUT OF
OR IN CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE.
-*/
\ No newline at end of file
+*/
diff --git a/either/index.html b/either/index.html
index 77634eab..3202d556 100644
--- a/either/index.html
+++ b/either/index.html
@@ -1,2 +1,2 @@
-index (either.index)
\ No newline at end of file
diff --git a/lwt/index.html b/lwt/index.html
index c85c32e3..c982d5bd 100644
--- a/lwt/index.html
+++ b/lwt/index.html
@@ -22,4 +22,4 @@ let () =
| Some response -> print_string response
| None -> prerr_endline "Request timed out"; exit 1
-(* ocamlfind opt -package lwt.unix -linkpkg example.ml && ./a.out *)
In the program, functions such as Lwt_io.write create promises. The let%lwt ... in construct is used to wait for a promise to become determined; the code after in is scheduled to run in a "callback." Lwt.pick races promises against each other, and behaves as the first one to complete. Lwt_main.run forces the whole promise-computation network to be executed. All the visible OCaml code is run in a single thread, but Lwt internally uses a combination of worker threads and non-blocking file descriptors to resolve in parallel the promises that do I/O.
Tour
Lwt compiles to native code on Linux, macOS, Windows, and other systems. It's also routinely compiled to JavaScript for the front end and Node by js_of_ocaml.
Concurrent Programming with Lwt is a nice source of Lwt examples. They are translations of code from Real World OCaml, but are just as useful if you are not reading the book.
This is the system call and I/O library. Despite its name, it is implemented on both Unix-like systems and Windows, although not all functions are available on Windows. To link with this library, use (libraries lwt.unix) in your dune file.
Lwt_preemptiveThis module allows to mix preemptive threads with Lwt cooperative threads. It maintains an extensible pool of preemptive threads to which you can detach computations.