Skip to content

Instantly share code, notes, and snippets.

@deque-blog

deque-blog/lazyness_opt_in.idr

Created June 13, 2017 12:09
Show Gist options
  • Star 1 You must be signed in to star a gist
  • Fork 1 You must be signed in to fork a gist
  • Save deque-blog/f83fc850d4bda5003e9d60cb2753371b to your computer and use it in GitHub Desktop.
Save deque-blog/f83fc850d4bda5003e9d60cb2753371b to your computer and use it in GitHub Desktop.
Download ZIP
Raw
lazyness_opt_in.idr
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