Re:Oxide: A Formal Semantics for Rust
by loki49152 on Wednesday March 06, 2019 @03:35PM
(#19322491)
This is going to cause confusion with Rust - the game - and Oxide, its 3rd party mod plugin framework.
[ Parent
| on HN ]
Re:Oxide: A Formal Semantics for Rust
by twothumbsup on Wednesday March 06, 2019 @05:15PM
(#19323444)
Rust-lang came first