Docs.rs
arde-0.1.7
Platform
aarch64-apple-darwin
aarch64-unknown-linux-gnu
i686-pc-windows-msvc
x86_64-pc-windows-msvc
x86_64-unknown-linux-gnu
Feature flags
docs.rs
About docs.rs
Badges
Builds
Metadata
Shorthand URLs
Download
Rustdoc JSON
Build queue
Privacy policy
Rust
Rust website
The Book
Standard Library API Reference
Rust by Example
The Cargo Guide
Clippy Documentation
arde 0.1.7
Another Rust Datalog Engine
Crate
Source
Builds
Feature flags
Documentation
Hide files
..
basic.tdt
basic_sync.tdt
flip.tdt
flip_constant.tdt
flip_constant_sync.tdt
flip_sync.tdt
match_constant.tdt
match_constant_sync.tdt
skip.tdt
skip_sync.tdt
task1.tdt
task1_sync.tdt
task2.tdt
task2_sync.tdt
task3.tdt
task3_sync.tdt
task_flip.tdt
task_flip_sync.tdt
1
2
3
4
5
6
7
8
async a(3). a(A)? ---- ---- A: 3 ---- ---- (no newline)