ilyakooo0/Idris-dev
1
0
Fork 0
mirror of https://github.com/ilyakooo0/Idris-dev.git synced 2024-11-11 14:57:30 +03:00
Code Issues Projects Releases Wiki Activity

Fix a typo in the Cast documentation

Browse Source
This commit is contained in:
Ilan Godik 2015-09-11 22:10:39 +03:00
parent be157aabd7
commit 053ffdce08
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
libs/prelude/Prelude/Cast.idr
View File

@ -3,7 +3,7 @@ module Prelude.Cast
import Prelude.Bool
import public Builtins
||| Type class for transforming a instance of a data type to another type.
||| Type class for transforming an instance of a data type to another type.
class Cast from to where
||| Perform a cast operation.
|||