Commit df328800 authored by Ryan Scott's avatar Ryan Scott
Browse files

Typofix in Data.Type.Equality comments

parent 85731000
......@@ -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
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment