Skip to content

Commit 7eac8be

Browse files
committed
Move libraries to top for quicker navigation
1 parent 7692f14 commit 7eac8be

File tree

1 file changed

+11
-8
lines changed

1 file changed

+11
-8
lines changed

lib/picos/index.mld

Lines changed: 11 additions & 8 deletions
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,16 @@
11
{0 Picos — Interoperable effects based concurrency}
22

3+
This packages contains the core {!Picos} interface library and auxiliary
4+
libraries for dealing with the OCaml multithreading architecture.
5+
6+
{1 Libraries}
7+
8+
{!modules:
9+
Picos
10+
Picos_domain
11+
Picos_thread
12+
}
13+
314
{1 Introduction}
415

516
{!Picos} is a {{:https://en.wikipedia.org/wiki/Systems_programming} systems
@@ -126,14 +137,6 @@ it is perhaps illuminating to explicitly mention some of those:
126137
Let's build an incredible ecosystem of interoperable concurrent programming
127138
libraries and frameworks!
128139

129-
{1 Libraries}
130-
131-
{!modules:
132-
Picos
133-
Picos_domain
134-
Picos_thread
135-
}
136-
137140
{1 Conventions}
138141

139142
Many operation in the Picos libraries use

0 commit comments

Comments
 (0)