2 Commits

Author	SHA1	Message	Date
Christian Rinderknecht	c4182fa6fd	I rewrote some comments so [dune build @doc] can extract HTML from ... module interfaces. This is meant as an exercise and an example to all team members. I fixed a minor shadowing issue in [x_list.ml].	2019-12-06 11:49:19 +01:00
Georges Dupéron	7c8c6515b8	move before merging repositories	2019-05-27 11:08:26 +02:00