1 files changed, 1 insertions(+), 1 deletions(-)

M static/typing-is-hard.html

@@ 86,7 86,7 @@
 <h3 id="java">Java</h3>
 <p><strong>undecidable</strong>, because <a href="https://arxiv.org/pdf/1605.05274.pdf">Java Generics are Turing complete</a>. Java 5 or later is <strong>unsound</strong>, as shown by <a href="https://dl.acm.org/doi/pdf/10.1145/2983990.2984004">Amin and Tate (2015)</a></p>
 <h3 id="ocaml">OCaml</h3>
-<p><strong>undecidable</strong>, since we can <a href="https://caml.inria.fr/pub/old_caml_site/caml-list/1507.html">cause the type checker to loop infinitely</a></p>
+<p><strong>undecidable</strong>, since we can <a href="https://caml.inria.fr/pub/old_caml_site/caml-list/1507.html">encode an undecidable problem in OCaml modules</a></p>
 <h3 id="ml">ML</h3>
 <p><strong>decidable</strong>, uses Hindley-Milner</p>
 <h3 id="rust">Rust</h3>