Datalog compiler embedded in Rust as a procedural macro
syn
dependency to version 2.0crepe!
macro to avoid some warnings from clippyFull Changelog: https://github.com/ekzhang/crepe/compare/v0.1.7...v0.1.8
IntoIterator
implsFull Changelog: https://github.com/ekzhang/crepe/compare/v0.1.6...v0.1.7
for
clauses in ruleslet
patterns (#14)ref
keyword (#9)let
bindings in rules&static str
in relation, f64
in relationInitial release - crepe!
macro, Datalog runtime, semi-naive evaluation, stratified negation.