4 ms·Idris is dependently typed but I think it actually looks more like Agda and Haskell...by Ixiaus 12y agoIdris is dependently typed but I think it actually looks more like Agda and Haskell...