Hacker News new | ask | show | jobs
Towards Hoare logic for a small imperative language in Haskell (bor0.wordpress.com)
3 points by bor0 1977 days ago