aufbau-0.1.2
Platform
Feature flags

docs.rs

Rust

aufbau 0.1.2

Generalized prefix parsing for a class of context-dependent languages

Crate
Source
Builds
Feature flags

..
tests
context.rs
mod.rs
obligation.rs
ops.rs
pool.rs
rule.rs
runtime.rs
syntax.rs
tests.rs
types.rs

1
2
3

mod invariants;
mod obligation;
mod runtime;