News for hackers. Stuff that matters.

A comment on Separation Logic. Parent comment

Re:Separation Logic by haskellandchill on Monday August 22, 2022 @12:31PM (#32553747)
Wow nice to bump into you here sir. Keep fighting the good fight.
[ Parent | on HN ]

There are no comments on this comment yet.