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...
-
-
No. You have refrained from such silliness. Once you have the proof, the paper writes itself.
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.