syntastic

Thanks

• 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

Contribution

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.