SimplicityHL

Rust-like high-level language that compiles down to Simplicity bytecode.