GitHub repository: xrossb/deduce
Primary language: Rust
Created: 2021-06-03T10:51:36Z
Description: WIP inference engine in Rust.