12 Jan
2012
12 Jan
'12
4:01 p.m.
Yves Parès
uvector is deprecated, its functionnalities has been ported into vector.
Yes, but a Ratio a instance hasn't been ported. I admit that I have overlooked the “deprecated” warning, and agree that it is better to write an instance by yourself than use a deprecated package. Dead things should stay dead.