2 ms·
That's just one use of dependent types (and the easiest one for an audience to understand).
by octo_t 13y ago
That's just one use of dependent types (and the easiest one for an audience to understand).
- JupiterMoon 13y agoBut it is the only one described in the article.