Fix a typo in the Cast documentation
commit053ffdce08876d14bf38ffb0ebcdaf787b3e4b0e
authorIlan Godik <ilan3580@gmail.com>
dateFri 11 Sep 2015, 22:10 (11 years ago)
parentbe157aa
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 |||