crepe-0.2.0
Platform
- x86_64-unknown-linux-gnu
Feature flags

docs.rs

Rust

crepe 0.2.0

Datalog in Rust as a procedural macro

Crate
Source
Builds
Feature flags

..
bad_goal_input.rs
bad_goal_input.stderr
bad_visibility_of_relation.rs
bad_visibility_of_relation.stderr
capital_letter_var.rs
capital_letter_var.stderr
invalid_arity.rs
invalid_arity.stderr
non_input_lifetime.rs
non_input_lifetime.stderr
recursive_negation.rs
recursive_negation.stderr
unbound_variable.rs
unbound_variable.stderr
underscore_in_goal.rs
underscore_in_goal.stderr