diff --git a/src/lib/index.mld b/src/lib/index.mld
new file mode 100644
index 0000000000..9a3c6b2039
--- /dev/null
+++ b/src/lib/index.mld
@@ -0,0 +1,115 @@
+{0 Eliom}
+
+Eliom is a framework for building client/server Web and mobile
+applications in OCaml.
+
+It can be used both as a traditional server-side Web framework
+or to implement complex client-server applications.
+
+Eliom transforms OCaml into a multi-tier language, making it possible to
+implement both the server and client parts of a Web and mobile app
+as a single program.
+
+This simplifies a lot the communication between server and client.
+Applications can run on any Web browser or mobile device (iOS,
+Android), saving from the need to develop one version for each
+platform.
+
+Eliom has support for reactive pages (generated on server or client),
+advanced session mechanism, server to client communication,
+continuation based Web programming, etc.
+
+Eliom is part of the {{:http://ocsigen.org}Ocsigen project}.
+
+{1 Installation instructions}
+
+{@ocaml[
+opam install eliom
+]}
+
+{1 Getting started}
+
+Defining a service on path [/foo], taking any GET parameters:
+
+{@ocaml[
+let myservice =
+  Eliom_service.create
+    ~path:(Eliom_service.Path ["foo"])
+    ~meth:(Eliom_service.Get (Eliom_parameter.any))
+    ()
+
+let () =
+  Eliom_registration.Html.register ~service:myservice
+    (fun get_params () ->
+      Lwt.return
+         Eliom_content.Html.F.(html (head (title (txt "")))
+                                    (body [h1 [txt "Hello"]])))
+]}
+
+Inserting a link towards that service, with parameters:
+
+{@ocaml[
+Eliom_content.Html.D.a ~service:myservice [txt "Home"] [("param1", "v1"); ("param2", "v2")]
+]}
+
+Event handlers are written in OCaml:
+
+{@ocaml[
+div ~a:[a_onclick [%client (fun ev -> ... )]] [ ... ]
+]}
+
+The client-side and server sides are written as a single program:
+
+{@ocaml[
+let%server a = ... (* code for the server part of the application *)
+
+let%client b = ... (* code for the client part of the application *)
+
+let%shared c = ... (* code that will be included in both parts *)
+]}
+
+Using a server-side value in client-side code:
+
+{@ocaml[
+let%server a = ...
+
+let%client f () =
+  print_endline ~%a ; (* print in browser console *)
+  ...
+]}
+
+Calling a server function from the client program:
+
+{@ocaml[
+let%rpc f (x : int) : string Lwt.t = ... (* server-side code *)
+
+let%client () =
+  let%lwt r = f 4 in
+  ...
+]}
+
+Saving session data on the server using Eliom references:
+
+{[
+let%server r = Eliom_reference.eref ~scope:Eliom_common.default_session_scope 0
+
+let%server f () =
+  let%lwt v = Eliom_reference.get r in
+  Eliom_reference.set r (v + 1);
+  ...
+
+]}
+Where scope can be:
+- [Eliom_common.default_session_scope] (different value for each browser),
+- [Eliom_common.default_process_scope] (different value for each tab),
+- [Eliom_common.default_group_scope] (different value for each user),
+- [Eliom_common.site_scope] (value for the whole site),
+- [Eliom_common.global_scope] (global value for the whole server).
+Eliom references are persistant if you add optional parameter [~persistent]
+to function [Eliom_reference.eref].
+
+{1 Learning Eliom}
+
+More documentation {{:https://ocsigen.org/tuto/latest/manual/basics}here}.
+
+Write your first Web and mobile application with Eliom using {{:https://ocsigen.org/ocsigen-start}Ocsigen Start}.