sentence

UniMath · Oct 21, 2023 · eb4dabd · eb4dabd
1 parent 9814500
commit eb4dabd
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/src/trees.lagda.md b/src/trees.lagda.md
@@ -4,6 +4,8 @@
 {-# OPTIONS --guardedness #-}
 ```
 
+## Files in the `trees` module
+
 ```agda
 module trees where