3 ms·
What does this offer that basic dependent typing doesn't?
by andrepd 4y ago
What does this offer that basic dependent typing doesn't?
- brrrrrm 4y agonothing really, that's effectively what's achieved by comptime. it's funny to see it written as "basic" dependent typing, considering it's an extremely complex type system to implement.