My favourite thing is that github thinks this file is erlang code: https://github.com/lenary/idris-erlang/blob/master/src/IRTS/CodegenErlang.hs …
-
-
@edwinbrady and it’s buggy as fuck, I discovered last night.Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
@edwinbrady but, you have to find the bugs yourself. :)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.