From e0b0f91c433c98fc0c8766a6eea4699114a03127 Mon Sep 17 00:00:00 2001
From: Lucas Franceschino <lucas@cryspen.com>
Date: Mon, 13 May 2024 08:36:21 +0200
Subject: [PATCH] feat(readme): hack on hax: "internal" docs link

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

diff --git a/README.md b/README.md
index ea23a7118..ea5591066 100644
--- a/README.md
+++ b/README.md
@@ -109,6 +109,9 @@ Quicklinks:
  - [💭 Rejected rust we don't plan to support in v1](https://github.com/hacspec/hax/issues?q=is%3Aissue+is%3Aopen+label%3Aunsupported-rust+label%3Awontfix%2Cwontfix-v1).
 
 ## Hacking on Hax
+The documentation of the internal crate of hax and its engine can be
+found [here](https://hacspec.org/hax/).
+
 ### Edit the sources (Nix)
 
 Just clone & `cd` into the repo, then run `nix develop .`.