6 ms·This is not a practical language with dependent types tho lolby jcora 7y agoThis is not a practical language with dependent types tho lol