@edwinbrady @d_christiansen So, you said 'thank you,' right? Like your mother told you to say when complimented so highly. #Idris
-
-
-
@edwinbrady@d_christiansen proof: data coolness = eh | cool | cooler | coolest deriving (Eq, Ord) java = eh haskell = cool#Idris = coolest - 1 more reply
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.