4 ms·Idris 1 was written in Haskell I thinkby sunshinerag 4y agoIdris 1 was written in Haskell I think