3 ms·Seems like subset of dependent types to meby machiaweliczny 6y agoSeems like subset of dependent types to me