aufbau 0.3.1

Generalized prefix parsing for a class of context-dependent languages
1
2
3
4
5
6
7
8
9

//! OCaml FFI — the type algebra (terms, unification, rewriting) as native OCaml
//! values, built inductively rather than through the surface string. The idiomatic
//! OCaml surface lives in `ocaml/`.

pub mod grammar;
pub mod rewrite;
pub mod term;
pub mod theory;
pub mod unify;