4 ms·A Language with Dependent Types: https://www.idris-lang.org https://www.idris-lang.orgby ska80 9y agoA Language with Dependent Types: https://www.idris-lang.org https://www.idris-lang.orgadrianN 9y agoIdris has a Wikipedia article since 2013.ska80 9y agoVersion 1.0 was released last April this year.justdutch 9y agoBut that doesn't mean its new. It just means its stable now.