Eric Zhang

It looks like screenshot tests aren't working for Firefox and Safari - could you please advise on what to do here? @edemaine

Thanks for the help. Here are the diffs. ### Firefox It looks like a slight change in where the line break happens. In the old render, the equation was very...

Does this screenshotter diff look acceptable?

Oh that's odd. Not sure what's happening there. I don't have the same error. Did you run `npm install`? And if you don't mind me asking, what's your version of...

Apologies for the delay. Hm, I can't reproduce unfortunately, even when running with the same versions of Node and NPM as you. :(

That sounds interesting. What do you think would be a good syntax for aggregates? ``` crepe! { @input struct A(i32, i32); @output struct B(i32, i32); B(x, $syntax_for_max$ A(x, ?))

Hi, thanks for the suggestion. This is possible but also would require quite a few substantial changes to how the compiled code is generated, in particular the index data structure...

Thanks for the idea! I've also been wondering how to connect Datalog with table databases, and it seems tricky. I believe Datomic uses some kind of normalization to represent objects...

Hello @brendanzab, interesting work. I think Datalog is a really useful, high-level abstraction for building contextual analyses on programming languages. Crepe lets you write very simple, declarative rules as you'd...

Yes @jaredly, that's correct. At the time, I wasn't able to figure out the best way of reconciling incremental updates with support for stratified negation, since when your program has...