Hi,
I've managed to code up implications and GADTs, and am now working on
adding type families. I've been following the OutsideIn paper, but it
seems that GHC is not really following the same plan for the solver.
For example, instead of replacing every type family with a metavariable,
it on
On Wed, Nov 30, 2022 at 05:33:44PM +0100, Joachim Breitner wrote:
> I noticed that a small number of Gitlab notification emails end up in
> my spamfilter. While there is not much you can do about triggering some
> bayesian style spam filter at my email provider (mailbox.org), I did
> notice this i
Hi Bryan (I assume),
I noticed that a small number of Gitlab notification emails end up in
my spamfilter. While there is not much you can do about triggering some
bayesian style spam filter at my email provider (mailbox.org), I did
notice this in the headers:
X-Spam-Status: No, score=2.704 tagged