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...
-
-
Replying to @edwinbrady
This is weird ... if I save the post to Pocket and (try to) read it there I see the title, but the text starts at the "Resource Protocols" heading
Is the something funny about the markup?1 reply 0 retweets 2 likes -
Replying to @milessabin @edwinbrady
Actually, it's _only_ that section which is present?!?
2 replies 0 retweets 0 likes
Replying to @milessabin
Oh no... I hope that doesn't mean I'll have to remember something about web development, I was relying on the generator! I'll investigate tomorrow...
3:44 PM - 10 Jan 2020
0 replies
0 retweets
0 likes
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.