Re:A Tour of Standard ML
by dllthomas on Wednesday January 29, 2020 @03:30PM
(#22185455)
Idris is eagerly evaluated.
[ Parent
| on HN ]
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.