2 ms·

I'd rather my colleagues (and past self) write Rocq. Rust is what you use when you'd rather spend time doing sales and marketing for Rust than building softwar

by 9rx 7mo ago

I'd rather my colleagues (and past self) write Rocq. Rust is what you use when you'd rather spend time doing sales and marketing for Rust than building software.