diff --git a/src/Data/Queue.idr b/src/Data/Queue.idr index f98f57e..bfc1017 100644 --- 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 index 72cb326..a7dd2be 100644 --- 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