> Idris is strict, unlike Haskell.

"The next Haskell will be strict." — Simon Peyton-Jones