5 ms·> Idris is strict, unlike Haskell. "The next Haskell will be strict." — Simon Peyton-Jonesby jech 1y ago> Idris is strict, unlike Haskell. "The next Haskell will be strict." — Simon Peyton-Jones