- Robert Harper for formalizing abstract syntax in Practical Foundations for Programming Languages.
- Rust GitHub Template for helping me set up reasonable defaults for this repository.
License: MIT OR Apache-2.0
Unless you explicitly state otherwise, any contribution intentionally submitted for inclusion in the work by you, as defined in the Apache-2.0 license, shall be dual licensed as above, without any additional terms or conditions. See CONTRIBUTING.md.