@edwinbrady This is a good opportunity for you to convince @jdegoes that @slamdata should move from Scala to Idris 
-
-
-
@sellout@edwinbrady@jdegoes@slamdata or help support idris hackers that are going to be out of work soon...
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.