misc(book): add contributing page

hacspec · Dec 3, 2024 · 0ffd426 · 0ffd426
1 parent 0730da0
commit 0ffd426
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/book/src/contributing/intro.md b/book/src/contributing/intro.md
@@ -0,0 +1,4 @@
+# Contributing
+This chapter contains information about internals of hax.
+
+Please read the [`CONTRIBUTING.md`](https://github.com/hacspec/hax/blob/main/CONTRIBUTING.md) before opening a pull request.