Typofix in Data.Type.Equality comments
authorRyan Scott <ryan.gl.scott@gmail.com>
Sun, 18 Jun 2017 18:30:38 +0000 (14:30 -0400)
committerRyan Scott <ryan.gl.scott@gmail.com>
Sun, 18 Jun 2017 18:30:42 +0000 (14:30 -0400)
libraries/base/Data/Type/Equality.hs

index 69da70b..173e3c4 100644 (file)
@@ -112,7 +112,7 @@ gcastWith Refl x = x
 apply :: (f :~: g) -> (a :~: b) -> (f a :~: g b)
 apply Refl Refl = Refl
 
--- | Extract equality of the arguments from an equality of a applied types
+-- | Extract equality of the arguments from an equality of applied types
 inner :: (f a :~: g b) -> (a :~: b)
 inner Refl = Refl