Arash Sahebolamri

@DustinCampbell as far as I know, Visual Studio only looks for delegate invocation ``` c# if (SomethingHappened != null) SomethingHappened(this, args); // --> SomethingHappened?.Invoke(this,args); ``` This code fix looks for...

No problem!

when I type "lambda", "\Lambda" (Λ) shows up first. VSCode version: 1.38.1

Ok. Thanks! Is there a timeframe for this feature?

The problem is that currently [derive-syn-parse](https://github.com/sharnoff/derive-syn-parse), which I rely on for parsing, doesn't support `syn` v2. When a new version of `derive-syn-parse` is released with support for `syn` v2, I...

I see! The issue (or *one* issue) with trying to "fix" this is that Ascent never removes elements from input vectors, and I think modifying this behavior is probably not...

You identified an issue with lattices in Datalog, which is for the computation to be well defined, the rules need to be monotonic. In your last example, the following rule...

@B-Lorentz Ah I see. I just looked at your second example. It indeed looks like a bug. The problem is that this rule requires an index on the lattice column:...

Great observations. > - add some support for incrmentalized computation, so that you could indicate 'I've added facts to this relation' and 'I've removed facts from this relation', causing some...

> At least in my last example, where input facts are removed, the result isn't consistent after calling run at the second time. Right, I can't think of a good...