It only evaluates to weak head normal form, though, so all I can tell you about 2 + 2 so far is that it's definitely at least 1.
-
-
-
It turns out 2 + 2 is indeed 4, so that's today's contribution to science sorted.pic.twitter.com/abxEiN5Fm9
- 6 more replies
New conversation -
-
-
Lazy evaluation in Idris?
-
No, you'll just have to keep guessing :)
End of conversation
New conversation -
-
-
The beauty of research: When even the most trivial result, done in some new way, is astonishing. :)
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
Still shorter than Russell & Whitehead's code
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
“Only 500 lines? Come back when you have enough for a book.” —R&W
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
Only for large values of zero.
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
please don't forget to caption your tweets!
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
That's a very good news! Imagine if you had proven that 0 + 0 != 0. It would had been much worse ;)
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.