I like flying aeroplanes. https://www.youtube.com/watch?v=2V1FtfBDsLU&feature=youtu.be&t=52m7s …
-
-
At least he knows how to write 1000s of functions with type [a] -> [a]
-
:) But only one f satisfying: ∀ x. f [x]=[x] ∀ x y. f(x ++ y) = (f y ++ f x) [and all satisfy: all elements in result are in the input].
- Show replies
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.