Exercise for the reader: add COME FROM
-
-
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
silly question.. how does one execute this file with a (just now) built idris2?
-
I didn't write the interpreter for it (that's an exercise for the reader too). Otherwise just load it as you normally would.
- 4 more replies
New conversation -
-
-
That's a lot of custom code. Can it be expressed as the instantiation of some general concept which can be librarized? Graded monads?
-
Probably, but it didn't seem worth it for what is just a bit of a silly joke... Another exercise for the reader perhaps!
End of conversation
New conversation -
-
-
-
*movie trailer voice* IN A WORLD where programmers have been found to be lacking in manners, one coder comes up with a solution. Have *you* thanked you computer recently? *small print* In theaters this decade, maybe? *extra tiny print* from the creators of whitespace
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
Now we know of your motives all along! Thank you
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
Thankyou ()
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.