"Idris to PHP back end Please, don't ever use this." https://github.com/edwinb/idris-php … - Understanding how to write Idris backend for PHP. O_o
-
-
@edwinbrady@susanpotter@old_sound yes, my fault :D -
@silverSpoon@edwinbrady@SusanPotter@old_sound The real question is, how many beer tokens did the JS backend cost?
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.