Update website.

smimram · Aug 18, 2020 · 0d90e61 · 0d90e61
1 parent 5464963
commit 0d90e61
Show file tree

Hide file tree

Showing 10 changed files with 134 additions and 327 deletions.
diff --git a/docs/ocamldoc/Operator.Ref.html b/docs/ocamldoc/Operator.Ref.html
diff --git a/docs/ocamldoc/Operator.V.html b/docs/ocamldoc/Operator.V.html
diff --git a/docs/ocamldoc/Operator.Value.html b/docs/ocamldoc/Operator.Value.html