Permalink
Browse files

typo

  • Loading branch information...
ggreif committed Nov 30, 2012
1 parent ec8d149 commit 8a7f4a18d5ab7bcc30f17d008f3c806b10984712
Showing with 1 addition and 1 deletion.
  1. +1 −1 GHC/TypeLits.hs
View
@@ -92,7 +92,7 @@ class SingI a where
sing :: Sing a
--------------------------------------------------------------------------------
--- | Comparsion of type-level naturals.
+-- | Comparison of type-level naturals.
class (m <=? n) ~ True => (m :: Nat) <= (n :: Nat)
instance ((m <=? n) ~ True) => m <= n

0 comments on commit 8a7f4a1

Please sign in to comment.