Hi again everyone,
I've been making some more adjustments to the API of type-checking plugins.
Following a suggestion by Richard, the mechanism for reporting errors while
rewriting type family applications now consists of emitting a wanted
constraint with a custom type error message. There are se
Apparently, Freenode deleted all registered users and channels several hours
ago:
https://old.reddit.com/r/linux/comments/o0263h/all_freenode_channels_and_users_gone/
A more detailed explanation/speculation on what's goin on:
https://www.devever.net/~hl/freenode_suicide
Janek
_
Hi all,
As you may have realized, CI has been a bit of disaster over the last
few days. It appears that this is just the most recent chapter in our
on-going troubles with Docker image storage, being due to an outage of
our upstream storage service [1]. Davean and I have started to implement
a plan
