miniblog.
← Back to all posts
Sep 29, 2020 at 16:37
Formally verifying a whitespace cleanup editor function in Coq!
Trusted Logic
Related Posts
Oct 31, 2013 at 18:29
Today I learnt about `with closing(opened_thing) as foo` in Python. Ensures cleanup in the face of errors.
http://t.co/hCUW6b8og7