I seem to have spent half the day fixing/improving the #idris termination checker. What could I possibly be avoiding...
-
-
@edwinbrady@simoninireland If it was me I'd say marking. If it's you I would say it's getting on a train.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.