3 ms·
How would you check them at compile time without using dependent types (at least it doesn't look to me like these are dependent types)?
by Sean1708 8y ago
How would you check them at compile time without using dependent types (at least it doesn't look to me like these are dependent types)?