My day tomorrow will involve 4 countries, 3 islands, 2 trains and a boat. What could possibly go wrong? (Please don’t answer that...)
-
-
This Tweet is unavailable.
-
@cj_davies my Foo should certainly not be applied in this case. Other Foos may vary.
End of conversation
-
-
-
@edwinbrady Looks like a compile error, you should get onto the guy that maintains Idris to see if he can help. :P -
@seanparsons I'd better ask him if it's meant to do that... (actually the bug here was a failure to report the error :)) - 1 more reply
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.