Correct a typo in Prelude.idr
`predefine` was spelled `predifine`
commitf9c61551202d0dd4adaca865458efec27d71d760
authora3gis <a3gis@users.noreply.github.com>
dateTue 20 May 2014, 18:45 (12 years ago)
parent8b55229
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