Just procrastinated so hard I set up a blog and wrote about linearity and erasure in Idris 2. https://www.type-driven.org.uk/edwinb/linearity-and-erasure-in-idris-2.html … I'm probably not going to make a habit of this...
I've had a look, and I don't see anything strange, but I'm no expert. Instapaper deals with it okay. I've no idea, sorry. If anyone else has any idea what's going on please let me know...
-
-
Can confirm the bug in Pocket, for article view specifically, if you switch to web view it's quite readable. So I assume it's a bug in Pocket.

-
In my experience Pocket struggles a lot with articles containing code snippets, tables or quotes. Quite surprised not everybody has the same experience.
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.
Is the something funny about the markup?