5 ms·
I find the better my types are, the less I need to explain. Canonical morphisms generally don't need comments.
by phamilton 9y ago
I find the better my types are, the less I need to explain. Canonical morphisms generally don't need comments.
loading thread…