|
|
|
|
|
|
by pxeger1
1106 days ago
|
|
|
Typescript's type system is already undecidable (except that they limit recursion depth). I don't know much about dependent types but I'd guess it similarly doesn't matter much in practice that in the general case they're undecidable? |
|
|