MLstate/opalang — pull request #98 by TuTu (2012-12-06 18:04:14+00:00)
Title: [Fix] doc typo

- * [a <+> b] is the same thing as <>{a}{b}
+ * [a <+> b] is the same thing as [<>{a}{b}]