2 ms·

For anyone new-language-curious, Idris is a very interesting project that is inspired by Haskell but which seems to have less design drawbacks