Towards Hoare logic for a small imperative language in Haskell | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		Towards Hoare logic for a small imperative language in Haskell (bor0.wordpress.com)
		3 points by bor0 on Jan 18, 2021 \| hide \| past \| favorite

Consider applying for YC's Winter 2026 batch! Applications are open till Nov 10
Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact