Merge pull request #2606 from NightRa/patch-1
Fix a typo in the Cast documentation
commit6fc713d2a92ae9ff0bb7400281e39ff0b631033b
authorDavid Christiansen <david@davidchristiansen.dk>
dateSat 12 Sep 2015, 09:19 (11 years ago)
parentd583ff0053ffdc
libs/prelude/Prelude/Cast.idr+1−1
@@ -3,7 +3,7 @@ module Prelude.Cast
33import Prelude.Bool
44import public Builtins
55
6−||| Type class for transforming a instance of a data type to another type.
6+||| Type class for transforming an instance of a data type to another type.
77class Cast from to where
88 ||| Perform a cast operation.
99 |||