Skip to content

Instantly share code, notes, and snippets.

@xenophobia

xenophobia/gist:7762731

Created December 3, 2013 02:12
Show Gist options

  • Select an option

    Learn more about clone URLs
  • Save xenophobia/7762731 to your computer and use it in GitHub Desktop.

Select an option

Learn more about clone URLs
Save xenophobia/7762731 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
gistfile1.txt
Prelude> let f0 = \x -> (x,x)
Prelude> :t f0
f0 :: t -> (t, t)
Prelude> let f1 x = f0(f0 x)
Prelude> :t f1
f1 :: t -> ((t, t), (t, t))
Prelude> let f2 x = f1(f1 x)
Prelude> :t f2
f2
:: t
-> ((((t, t), (t, t)), ((t, t), (t, t))),
(((t, t), (t, t)), ((t, t), (t, t))))
Prelude> let f3 x = f2(f2 x)
Prelude> :t f3
f3
:: t
-> ((((((((t, t), (t, t)), ((t, t), (t, t))),
(((t, t), (t, t)), ((t, t), (t, t)))),
((((t, t), (t, t)), ((t, t), (t, t))),
(((t, t), (t, t)), ((t, t), (t, t))))),
(((((t, t), (t, t)), ((t, t), (t, t))),
(((t, t), (t, t)), ((t, t), (t, t)))),
((((t, t), (t, t)), ((t, t), (t, t))),
(((t, t), (t, t)), ((t, t), (t, t)))))),
((((((t, t), (t, t)), ((t, t), (t, t))),
(((t, t), (t, t)), ((t, t), (t, t)))),
((((t, t), (t, t)), ((t, t), (t, t))),
(((t, t), (t, t)), ((t, t), (t, t))))),
(((((t, t), (t, t)), ((t, t), (t, t))),
(((t, t), (t, t)), ((t, t), (t, t)))),
((((t, t), (t, t)), ((t, t), (t, t))),
(((t, t), (t, t)), ((t, t), (t, t))))))),
(((((((t, t), (t, t)), ((t, t), (t, t))),
(((t, t), (t, t)), ((t, t), (t, t)))),
((((t, t), (t, t)), ((t, t), (t, t))),
(((t, t), (t, t)), ((t, t), (t, t))))),
(((((t, t), (t, t)), ((t, t), (t, t))),
(((t, t), (t, t)), ((t, t), (t, t)))),
((((t, t), (t, t)), ((t, t), (t, t))),
(((t, t), (t, t)), ((t, t), (t, t)))))),
((((((t, t), (t, t)), ((t, t), (t, t))),
(((t, t), (t, t)), ((t, t), (t, t)))),
((((t, t), (t, t)), ((t, t), (t, t))),
(((t, t), (t, t)), ((t, t), (t, t))))),
(((((t, t), (t, t)), ((t, t), (t, t))),
(((t, t), (t, t)), ((t, t), (t, t)))),
((((t, t), (t, t)), ((t, t), (t, t))),
(((t, t), (t, t)), ((t, t), (t, t))))))))
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment