Merge pull request #15 from idris-community/fix-doc

[ doc ] Fixing documentation
idris-community · Jan 10, 2025 · 609c25c · 609c25c
2 parents 0ca8792 + 35aef30
commit 609c25c
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/src/Data/Queue.idr b/src/Data/Queue.idr
@@ -1,4 +1,4 @@
-||| Immutable FIFO Queues.
+||| Immutable FIFO Queues
 module Data.Queue
 
 import Derive.Prelude

diff --git a/src/Data/Tree.idr b/src/Data/Tree.idr
@@ -1,4 +1,4 @@
-||| Finite Rose Trees.
+||| Finite Rose Trees
 module Data.Tree
 
 import Data.List