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)
-
-
If you ever come up with one, please let me know, I'll add it to my list of answers.
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
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.