diff options
Diffstat (limited to 'src/Data/Array/Nested/Permutation.hs')
| -rw-r--r-- | src/Data/Array/Nested/Permutation.hs | 2 |
1 files changed, 1 insertions, 1 deletions
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 |