I considered announcing something exciting today, but it's April 1st so nobody would believe me. Also, I have nothing exciting to announce.
-
-
@edwinbrady@basus isn’t idris implemented in javascript? -
@psygnisfive@edwinbrady@basus I heard Idris was just JavaScript with Haskell syntax.
End of conversation
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.