formality-core 0.1.0

Language-independent formality system used by a-mir-formality
Documentation

formality-core contains core definitions that can be used for languages that are not Rust. It is intended to play a role similar to