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.
Page generated 23 Apr 2025 04:01 pm
Powered by Dreamwidth Studios
- Base style: Abstractia by
![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png)
chiming - Theme: Abyss by chiming