From 35aef30b7dae20b9049b42258d49cbecffd5e64b Mon Sep 17 00:00:00 2001 From: Matthew-Mosior Date: Fri, 10 Jan 2025 16:03:54 -0600 Subject: [PATCH] Fixing documentation (removing punctuation). --- src/Data/Queue.idr | 2 +- src/Data/Tree.idr | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) 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