@PhilipWadler and telling the joke about Haskell that Haskellers tell about dependently typed languages, too. Bound to be a good sign.
@psygnisfive We probably ought to stop it. I last compiled+ran a dependently typed program about 5 minutes ago :). @pigworker @PhilipWadler
-
-
@edwinbrady@pigworker@PhilipWadler shun the non-believer! shunnnnnnnn~Thanks. Twitter will use this to make your timeline better. UndoUndo
-
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.