Here's Niko Matsakis's embeddable logic engine in rust, to be used in the rust compiler's type system. https://github.com/nikomatsakis/chalk-ndm https://github

Here's Niko Matsakis's embeddable logic engine in rust, to be used in the rust compiler's type system. https://github.com/nikomatsakis/chalk-ndm https://github.com/nikomatsakis/chalk-ndm