4 ms·
Agreed wholeheartedly. What this article shows is fundamentally no different from C++ templates manipulating `int`s (IOW, not dependent types), except for the r
by catnaroek 9y ago
Agreed wholeheartedly. What this article shows is fundamentally no different from C++ templates manipulating `int`s (IOW, not dependent types), except for the richer selection of (promoted) data types.