-[[!toc]]
+[[!toc levels=2]]
# System F and recursive types
Turing complete.
-Types in OCaml
---------------
+#Types in OCaml
+
OCaml has type inference: the system can often infer what the type of
an expression must be, based on the type of other known expressions.