3 ms·
Idris follows the eager evaluation model, so I would assume it's easier to reason about. I wouldn't take my word for it however
by hood_syntax 10y ago
Idris follows the eager evaluation model, so I would assume it's easier to reason about. I wouldn't take my word for it however