It's been a while since anyone asked if Idris could be lazy by default... Github makes it easy to fork, and Idris makes it easy to write your own backend, so enjoy yourself :). (As with much of CS, it's a trade off. Laziness is lovely. It has its place. Idris isn't lazy. Sorry)
-
-
Interesting, I always assuming that both lazy and strict, on a total function would in the ideal world result in the exact same runtime semantics.
-
You'll get the same answer, but not necessarily in the same time
- 7 more replies
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.