obviously, there's simply nothing just. At least not in programming.
-
-
-
Straightforwardly so, indeed.
End of conversation
New conversation -
-
-
as a real world example can someone use idris for model checking and system verification? It would be nice to have an example
-
I’ll do basic examples in Chapter 13. Big topic though!
End of conversation
New conversation -
-
-
In the otherwise great
@coursera Crypto course it irked me every time the instructor said “(and the answer is) of course ...” -
In speech I expect it’s mostly filler, even if it is also annoying. No excuse in writing though :).
- 1 more reply
New conversation -
-
-
are you leaving any exercises for the reader?
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
clearly, as you know
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.