From 87ff8625390a9b96eb712993bfb8a1fc1bacb03f Mon Sep 17 00:00:00 2001 From: Hannes Mehnert Date: Sat, 16 Sep 2017 16:49:37 +0100 Subject: [PATCH] . --- Technology | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Technology b/Technology index 78e8f63..a103c43 100644 --- a/Technology +++ b/Technology @@ -23,7 +23,7 @@ programming. OCaml has an expressive static type system, and type inference. A developer can specify complex invariants in the type system, which are checked at compile time, and violations are caught early. -We discuss more reasons why we use OCaml [further down](#WhyOCaml). +We discuss more reasons why we use OCaml [further down](#Why-OCaml). ## MirageOS