From 64530704b4b5e561c9f957027838519b49974da6 Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Fri, 22 Apr 2022 15:31:06 +0200
Subject: Update the README

---
 README.md | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/README.md b/README.md
index b5530c6f..46899f2a 100644
--- a/README.md
+++ b/README.md
@@ -21,7 +21,8 @@ theorem prover, and we intend to add backends for other provers such as
 
 ## Project Structure
 
-- `src`: the OCaml sources. Note that we rely on Dune to build the project.
+- `src`: the OCaml sources. Note that we rely on [Dune](https://github.com/ocaml/dune)
+  to build the project.
 - `fstar`: F\* files providing basic definitions and notations for the
   generated code (basic definitions for arithmetic types and operations,
   collections like vectors, etc.).
-- 
cgit v1.2.3