Merge pull request #14 from idris-community/add-doc-text

[ doc ] Add Missing Documentation
idris-community · Jan 9, 2025 · 0ca8792 · 0ca8792
2 parents b631275 + f70d01f
commit 0ca8792
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 0 deletions.
diff --git a/src/Data/BoundedQueue.idr b/src/Data/BoundedQueue.idr
@@ -1,3 +1,4 @@
+||| Bounded Queues
 module Data.BoundedQueue
 
 import Data.Seq.Unsized

diff --git a/src/Data/Queue.idr b/src/Data/Queue.idr
@@ -1,3 +1,4 @@
+||| Immutable FIFO Queues.
 module Data.Queue
 
 import Derive.Prelude

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