Hey everyone,
I've put up some haddocks for this new type-checking plugin API, see here:
https://sheaf.github.io/ghc-tcplugin-api/GHC-TcPlugin-API.html.
(The page is mainly meant to be navigated using the contents pane.)
I hope this might be a more welcoming point of entry for people who are
Re: memory usage: I get that people don't like bloated Electron clients
when they already run a browser instance, but fortunately, Element
doesn't need to be run as a standalone app (*).
Well, except when you want to search encrypted history. But then you're
out of luck with irccloud, too...
rather, it's that it completely screws up my intuition about what should be
valid Haskell.
I'm sorry to hear that Chris. It's exactly backwards from what I would expect
- the typing rules with simple subsumption are, well, simpler than those for
complicated subsumption, and so one might hope
On Tue Jun 15, 2021 at 3:18 PM CEST, Janek Stolarek wrote:
> Apparently, Freenode deleted all registered users and channels several
> hours ago.
I guess that should solve the problem of communities being split between
Freenode and Libera.
If I may add towards using IRC, even though it may seem
This might be in the "ship has sailed" territory, but I'd like to bring it
up anyway.
https://github.com/ghc-proposals/ghc-proposals/blob/master/proposals/0287-simplify-subsumption.rst
says:
Suppose GHC lacked all four features, and someone proposed adding them.
> That proposal would never leave
