3 ms·
> What do you want them to do? If you read to the end of the comment, it suggests dependent typing as the solution.
by guerrilla 7y ago
> What do you want them to do?
If you read to the end of the comment, it suggests dependent typing as the solution.