QuinnWilton
commented
2 years ago Reviews on specs in this early stage are always weird. Don't see my comments as "TODO"s and "This needs to change"s. It's mostly source-annotated comments & ideas.
Thank you so much for the comments! This is all really great feedback, and I've got a pile of notes about how I can improve what's here + a few things to fix. Some of what you're asking about is covered by work I haven't pushed up yet, but this gives me valuable information about how to be as clear as possible :)
📙 Preview
I'm still working on laying out the exact compilation from Datalog -> Relational Algebra -> Dataflow, but here's some groundwork for that