Commit fae6ae3b authored by POTTIER Francois's avatar POTTIER Francois

Comment.

parent 0835feda
......@@ -1126,7 +1126,8 @@ let explored =
(* We could print this data as we go, which would naturally result in sorting
the output by increasing word sizes. However, it seems preferable to sort
the sentences lexicographically, so that similar sentences end up close to
one another. This is why we store a list of triples and sort it before
one another. (We could also sort them by state number. The result would be
roughly similar.) This is why we store a list of triples and sort it before
printing it out. *)
let domain =
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment