Commit 5329854a4a8dbe61563667d005c9ed6bb71d2336

Jeremy JEANNE 2025-03-31T13:38:52

fix 1.17_Ident

1
2
3
4
5
6
7
8
9
10
11
12
13
diff --git a/doc/1_KC3/1.17_Ident.en.md b/doc/1_KC3/1.17_Ident.en.md
index 768c502..c81db89 100644
--- a/doc/1_KC3/1.17_Ident.en.md
+++ b/doc/1_KC3/1.17_Ident.en.md
@@ -4,6 +4,8 @@ The KC3 `Ident` type is an identifier. An identifier evaluates to its
 bound value in the current environnement, that is in local and global
 frames and then in the triple store.
 
+## 1.17 Examples
+
 To get an `Ident` you can use quote :
 
 ```elixir