Sebastien Mondet committed 34aa2b1

doc: update README

Comments (0)

Files changed (1)

 - **System** implements the `SYSTEM` module type,
 - **Deferred_list** implement the `DEFERRED_LIST` module type;
 sequential and concurrent loops using the `List.t` type.
+- **Light** implements the `LIGHT` signature, a very simple traffic light for
+concurrent programs.
-You may run the tests, but you must have *Core* installed.
+You may run the tests, this way: