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
Possibly related, my phone just tried to autocorrect Haskell to Hallelujah. Make of that what you will. (in case of doubt, I do like Haskell... Just... There's more choices you can make and they're not *all* wrong!)
0 replies
1 retweet
34 likes
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.