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 @pdxleif
Does your blog have an RSS/Atom feed (my reader, BazQux, can't find it)?
1 reply 0 retweets 0 likes -
Replying to @haroldcarr @edwinbrady
The blog platform, Pelican, does mention "Generation of Atom and RSS feeds" as one of its features, but I'd expect there to be a <link rel=.../> tag in the header of the page pointing to the RSS feed of the page if there was one, and I'm not seeing one.
1 reply 0 retweets 0 likes
Replying to @pdxleif @haroldcarr
It's here: https://www.type-driven.org.uk/edwinb/feeds/posts.atom.xml … I expect I can add the link directly at some point.
3:35 AM - 16 Jan 2020
0 replies
0 retweets
3 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.