diff --git a/README.md b/README.md index cfe96e5d..6b87615e 100644 --- a/README.md +++ b/README.md @@ -179,6 +179,8 @@ $ opam install containers ### From Sources +
+ You need dune (formerly jbuilder). ``` @@ -200,10 +202,15 @@ $ make bench $ ./benchs/run_benchs.sh ``` +
+ ## Contributing PRs on github are very welcome (patches by email too, if you prefer so). +
+how to contribute (click to unfold) + ### First-Time Contributors Assuming your are in a clone of the repository: @@ -250,6 +257,8 @@ To contribute a change, here are the steps (roughly): copy of the repository 7. on github, open a "pull request" (PR). Et voilĂ  ! +
+ ## Tutorial This tutorial contains a few examples to illustrate the features and