HN
Hacker News
Top
New
Best
Ask
Show
Jobs
Comment by jchallis | Hacker News Reader
Parent
Full thread
jchallis
·
GOAT Of All Time
We need something suitably recursive for Hoare.
View on HN
hyperpallium2
·
see
https://news.ycombinator.com/item?id=27740366
Reply on news.ycombinator.com