Yoric/yaiouom

Prototype extension of the Rust type system towards checking units-of-measure

120

25 commits

updated Apr 14, 2020

yoric.github.io/yaiouom/yaiouom

rust

types

units-of-measure

Contributors

22 commits

2 commits

1 commits

Yoric/yaiouom

Prototype extension of the Rust type system towards checking units-of-measure

120

25 commits

updated Apr 14, 2020

yoric.github.io/yaiouom/yaiouom

rust

types

units-of-measure

Contributors

22 commits

2 commits

1 commits