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)
-
Show this thread
-
Replying to @edwinbrady
Can X be lazy? Strictly speaking, no. You've already used that joke many times?
1 reply 1 retweet 0 likes
Replying to @shapr
Not in exactly that form, but I suspect so :)
2:06 PM - 10 Jul 2019
0 replies
0 retweets
1 like
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.