winterkoninkje: shadowcrane (clean) (Default)

For those who haven't heard, John Reynolds (of separation logic fame) just passed on. I don't have anything particular to add to what's mentioned on LtU and Neel's blog, but I recommend reading them both.

November 2016

S M T W T F S
  12345
6789101112
1314 1516171819
20212223242526
27282930   

Tags

Page generated 9 Dec 2016 11:09 pm
Powered by Dreamwidth Studios