search

rust-lang / datafrog

A lightweight Datalog engine in Rust
Apache License 2.0
796 stars 43 forks source link

add some docs to leapjoin #18

Closed nikomatsakis closed 5 years ago

nikomatsakis commented 5 years ago

not great but hopefully enough to give a kernel of the idea

nikomatsakis commented 5 years ago

Does that sound about right to you, @frankmcsherry? :)

nikomatsakis commented 5 years ago

Meh, good enough

lqd commented 5 years ago

As mentioned on Zulip, looks sensible to me, and if needed (until we either add examples or unit tests to describe its behaviour in more "practical" ways) we can also point to this part of Frank's datafrog post.