Archived tweet #11739 from the @leastfixedpoint Twitter Archive

Sometimes programming in Rust is like programming in Coq, in a good way. But sometimes programming in Rust is like programming in Coq, not in a good way.