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.

March 2017

S M T W T F S
    1234
567891011
12131415161718
19202122232425
262728293031 

Tags

Page generated 30 Mar 2017 10:52 am
Powered by Dreamwidth Studios