Skip to content

Instantly share code, notes, and snippets.

@jgarte

jgarte/lazyness_opt_in.idr

Forked from deque-blog/lazyness_opt_in.idr
Created April 22, 2024 04:35
Show Gist options
  • Save jgarte/646bc40aaa7cb467241006ec394040bb to your computer and use it in GitHub Desktop.
Save jgarte/646bc40aaa7cb467241006ec394040bb 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