Merge pull request #1247 from a3gis/patch-1
Correct a typo in Prelude.idr
commitef45cdcd89803b1f63e95a20104f77d1210a2f59
authorDavid Christiansen <david@davidchristiansen.dk>
dateTue 20 May 2014, 22:26 (12 years ago)
parent8b55229f9c6155
libs/prelude/Prelude.idr+1−1
@@ -347,7 +347,7 @@ natRange n = List.reverse (go n)
347347 where go Z = []
348348 go (S n) = n :: go n
349349
350−-- predifine Nat versions of Enum, so we can use them in the default impls
350+-- predefine Nat versions of Enum, so we can use them in the default impls
351351total natEnumFromThen : Nat -> Nat -> Stream Nat
352352natEnumFromThen n inc = n :: natEnumFromThen (inc + n) inc
353353total natEnumFromTo : Nat -> Nat -> List Nat