| 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 |