Hax docs

Hax is written both in Rust and OCaml. Documentation for each is available below:

• Frontend documentation (Rust)
• Engine documentation (OCaml)