remove empty header

jcubic · jcubic · commit 36a9f61a1229 · 2024-08-29T17:38:17.000+02:00
diff --git a/docs/docs/lips/intro.md b/docs/docs/lips/intro.md
@@ -241,8 +241,6 @@ The last typecking function is `typecheck-args` that check if all arguments are
 
 ## Integration with JavaScript
 
-### Dot operator
-
 ### Dot notation
 LIPS allow accessing JavaScript objects with dot notation:
 
