So True = False because of head :: [a] -> a in #Haskell: http://stackoverflow.com/a/6364990/108359 … :)
@psnively I'm sure someone can prove that Coq is Pac-man complete somehow :). @puffnfresh @jonsterling
3:56 PM - 21 Oct 2013
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.