index.mld

Author: dlesbre

index.mld

@@ -18,7 +18,7 @@ then further improved by {{: https://www.normalesup.org/~dlesbre/}Dorian Lesbre}
 as part of the {{: https://codex.top/}Codex semantics library}, developed at
 {{: https://list.cea.fr/en/} CEA List}.
 
-{1 Installation}
+{1:install Installation}
 
 This library can be installed with {{: https://opam.ocaml.org/}opam}:
 {@bash skip[
@@ -37,6 +37,8 @@ opam install . --deps-only --with-doc
 dune build @doc
 ]}
 
+See the {{!examples}examples} to jump right into using this library.
+
 {1 Features}
 
 {ul
@@ -183,7 +185,16 @@ Here is a brief overview of the various module types of our library:
   maps using these nodes, or any other custom nodes.}
 }
 
-{1 Examples}
+{1:examples Examples}
+
+To use this library, {{!install}install it} and add the following to your
+dune files:
+{@dune[
+(executable ; or library
+  ...
+  (libraries patricia-tree ...)
+)
+]}
 
 {2 Homogeneous map}