search

ekzhang / crepe

Datalog compiler embedded in Rust as a procedural macro
Apache License 2.0
460 stars 16 forks source link

add shorter syntax for defining fact-rules #6

Closed hydrolarus closed 3 years ago

hydrolarus commented 3 years ago

Instead of writing Fact(a, b) <- (true); one can now write Fact(a, b);

ekzhang commented 3 years ago

Thanks, looks great!