Merge pull request #446 from arialdomartini/headers

Anchor works in the website too
hedgehogqa · Aug 8, 2023 · 9328d33 · 9328d33
2 parents 267ad31 + dc666d1
commit 9328d33
Showing 1 changed file with 9 additions and 10 deletions.
diff --git a/doc/index.md b/doc/index.md
@@ -1,17 +1,16 @@
 # Tutorial
 
-* [Getting Started](#getting-started)
-  * [At a glance](#at-a-glance)
-  * [Integrated shrinking](#-integrated-shrinking-is-an-important-quality-of-hedgehog)
-* [Generators](#generators)
-  * [The `gen` expression](#-generators-can-also-be-created-using-the-gen-expression)
-* [Properties](#properties)
-  * [The `property` expression](#-properties-can-also-be-created-using-the-property-expression)
-  * [Custom Operations](#custom-operations)
+* [Getting Started](#Getting-Started)
+  * [At a glance](#At-a-glance)
+  * [Integrated shrinking](#-Integrated-shrinking-is-an-important-quality-of-Hedgehog)
+* [Generators](#Generators)
+* [Properties](#Properties)
+  * [The `gen` expression](#-Generators-can-also-be-created-using-the-gen-expression)
+  * [Custom Operations](#Custom-Operations)
     * [`counterexample`](#counterexample)
     * [`where`](#where)
-* [Integrations](#integrations)
-  * [Regex-constrained strings](#regex-constrained-strings)
+* [Integrations](#Integrations)
+  * [Regex-constrained strings](#Regex-constrained-strings)
 
 ### Getting Started