summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorSon Ho2022-04-22 15:31:06 +0200
committerSon Ho2022-04-22 15:31:06 +0200
commit64530704b4b5e561c9f957027838519b49974da6 (patch)
tree8ee7c358a643f8fcfc1e368df4f541a34b791c0a
parent18b1863f6ecdfb2578235673bfeaf6654f53fc5e (diff)
Update the README
Diffstat (limited to '')
-rw-r--r--README.md3
1 files changed, 2 insertions, 1 deletions
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.).