Prototype extension of the Rust type system towards checking units-of-measure
语言:Rust · GitHub 星标:120 · Fork:6
话题:rust · types · units-of-measure
在 GitHub 上查看原仓库