3 ms·
It could be checked at compile time no?
by asimpletune 8y ago
It could be checked at compile time no?
- Sean1708 8y agoHow would you check them at compile time without using dependent types (at least it doesn't look to me like these are dependent types)?