Any function with type (List a -> List a) returns a list containing only elements in the input list. … QED
-
-
Replying to @dibblego
@dibblego@bitemyapp QED isn't appropriate here, that wasn't a proof2 replies 0 retweets 0 likes
Replying to @sarah_zrf
@benzrf @bitemyapp Note the ellipsis.
6:50 PM - 20 Jan 2015
0 replies
0 retweets
1 like
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.