I've just learned, via [some web site] that being strict will hamper Idris 2 significantly. Much as I like Haskell syntax, sometimes I think it would have been better to model Idris on something else...
-
-
Of course, and FWIW I'm fine with either default. I also don't think this decision matters so much when you want to build software at large.
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.