4 ms·
With no restriction on what kind of dependent types are allowed the type system should at least be Turing complete.
by contravariant 6y ago
With no restriction on what kind of dependent types are allowed the type system should at least be Turing complete.
- deleted 6y ago[deleted]