4 ms·For... building software? I thought dependent types haven't escaped research languages.by acconsta 11y agoFor... building software? I thought dependent types haven't escaped research languages.