@@ -347,7 +347,7 @@ natRange n = List.reverse (go n)
347 where go Z = []
347 where go Z = []
348 go (S n) = n :: go n
348 go (S n) = n :: go n
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
351total natEnumFromThen : Nat -> Nat -> Stream Nat
351total natEnumFromThen : Nat -> Nat -> Stream Nat
352natEnumFromThen n inc = n :: natEnumFromThen (inc + n) inc
352natEnumFromThen n inc = n :: natEnumFromThen (inc + n) inc
353total natEnumFromTo : Nat -> Nat -> List Nat
353total natEnumFromTo : Nat -> Nat -> List Nat