Idris> :t [1 .. 10] | |
enumFromTo 1 10 : List Integer | |
Idris> :t [1 ..] | |
enumFrom 1 : Stream Integer |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Idris> :t [1 .. 10] | |
enumFromTo 1 10 : List Integer | |
Idris> :t [1 ..] | |
enumFrom 1 : Stream Integer |