For a thing I did on a bored Saturday evening while avoiding thesis writing, I’ve got a lot of mileage out of this…https://twitter.com/jonoabroad/status/787770792041914368 …
-
-
Replying to @edwinbrady
It’s clearly about time I did the dependently typed, total, verified version. If only I can find the funding.
2 replies 0 retweets 3 likes -
Replying to @edwinbrady
if it was self hosting you'd have trouble finding the implementation.
1 reply 0 retweets 3 likes -
Replying to @milessabin
I think I have a print out, I'll just type it in again
1 reply 0 retweets 2 likes -
-
Replying to @andy_m_wood @milessabin
How is that whitespace textbook coming along?
1 reply 0 retweets 1 like -
Replying to @edwinbrady @milessabin
Did I really volunteer to write it? I haven’t even mastered the syntax yet.
1 reply 0 retweets 0 likes
Replying to @andy_m_wood @milessabin
Oh, I thought I’d seen some code samples in your notebook…
3:23 PM - 16 Oct 2016
1 reply
0 retweets
2 likes
-
-
Replying to @edwinbrady @milessabin
Just random doodles, copied and pasted from stackoverflow.
0 replies 0 retweets 1 likeThanks. 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.