2 ms·I think it would be a challenge without dependent types.by solomonb 6y agoI think it would be a challenge without dependent types.