Skip to content

Instantly share code, notes, and snippets.

Embed
What would you like to do?
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