3 ms·Strict type-checking and at least with some dependent type and inductive typeby hoyo1s 1y agoStrict type-checking and at least with some dependent type and inductive type