[andrepd]

What does this offer that basic dependent typing doesn't?

[brrrrrm]

nothing 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.