3 ms·
I would trust any type system that doesn't require me to prove that my sorting algorithm maintains the length of the vector it sorts.
by Blikkentrekker 6y ago
I would trust any type system that doesn't require me to prove that my sorting algorithm maintains the length of the vector it sorts.