I really appreciate that @edwinbrady puts effort in to make his papers easy to understand even if you don't know Idris well
-
-
Replying to @rickasaurus
I appreciate people noticing :). I hope it’s effective, and if it’s not, it’s useful to know what to fix…
2 replies 0 retweets 6 likes -
Replying to @gregyoung
Not recently… unless I missed something?
1:33 PM - 24 Oct 2016
0 replies
0 retweets
0 likes
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.