0.1.1	2023 年 11 月 1 日
0.1.0	2023 年 11 月 1 日

MIT/Apache

97KB
2.5K SLoC

formality-core

formality_core 是 a-mir-formality 的独立语言部分。它可以被其他项目重用，以模拟除 Rust 之外的语言的形式语义。

formality-core 包含可以用于非 Rust 语言的核心定义。它旨在扮演与

~5.5–8MB
~133K SLoC