From 00df247825d2d6012a91c80c46c4f556eff824a4 Mon Sep 17 00:00:00 2001 From: Mikolaj Konarski Date: Fri, 10 Apr 2026 13:52:29 +0200 Subject: Improve haddocs following the Tom's guidance --- src/Data/Array/Nested/Permutation.hs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/Data/Array/Nested/Permutation.hs') diff --git a/src/Data/Array/Nested/Permutation.hs b/src/Data/Array/Nested/Permutation.hs index 19d81f0..85fbd89 100644 --- a/src/Data/Array/Nested/Permutation.hs +++ b/src/Data/Array/Nested/Permutation.hs @@ -313,7 +313,7 @@ permId n = go SZ else gcastWith (unsafeCoerceRefl :: (l :~: k : anything)) $ k `PCons` go (SS k) --- Note that the second argument is not a valid permutation. +-- | Note that the second argument is not a valid permutation. permAppend :: Perm l -> Perm l2 -> Perm (l ++ l2) permAppend PNil l2 = l2 permAppend (n `PCons` rest) l2 = n `PCons` permAppend rest l2 -- cgit v1.3