2 ms·Those can be integrated with dependent types too - for an example look at F*.by bjz_ 7y agoThose can be integrated with dependent types too - for an example look at F*.