+[[!toc levels=2]]
+
# System F and recursive types
In the simply-typed lambda calculus, we write types like <code>σ
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.