Book update (generated from hacspec/hax@cd17f9e)

hacspec · Jul 1, 2024 · 137a50d · 137a50d
1 parent 2259024
commit 137a50d
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/README.md b/README.md
@@ -0,0 +1,3 @@
+# Warning: this repository only contains generated files
+The sources of the book are in https://github.com/hacspec/hax/tree/main/book
+Please file issues, and push PRs to https://github.com/hacspec/hax.