Re:Oxide: A Formal Semantics for Rust
by Gajurgensen on Thursday March 07, 2019 @12:26PM
(#19329963)
This is pretty nitpicky, but I really dislike the postfix syntax for type constructor application.
[ Parent
| on HN ]
There are no comments on this comment yet.