Thanks! This is just what I wanted to read!
-
-
-
You can tell I have exams to mark! (typecase is fun, although I still haven't found a use for it... I bet I will...)
- 4 more replies
New conversation -
-
-
The habit of setting up a blog and posting about Idris on it? It would be quite funny to have dozens of blogs about Idris, all authored by you. It would be an art form if you do it right.
-
I can only come up with so many domain names, so I can't get into that habit...
End of conversation
New conversation -
-
-
Is `getUnr`’s type and implementation written correctly? It appears alpha-equivalent to `getLin`, yet the semantics of the two functions are contrasted.
-
Thanks, fixed! I edited the text directly rather than pasting in the code, which always ends badly...
End of conversation
New conversation -
-
-
that's just another form of productivity!
-
Structured procrastination is good for you!
End of conversation
New conversation -
-
-
Does your blog have an RSS/Atom feed (my reader, BazQux, can't find it)?
-
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 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.