3 ms·

Idris is eagerly evaluated.

• hajile 7y ago
  You are correct (I'm sorry, I don't know much more than what I read in a cursory inspection some time ago). I should have called it the "lazy and/or completely immutable" category.
• owl57 7y ago
  As are PureScript and Elm. Maybe "lazy" is just no longer a good name for the branch as a whole, given that it keeps growing new eager leaves.