Hacker News new | ask | show | jobs
by jchallis 1816 days ago
GOAT Of All Time

We need something suitably recursive for Hoare.

1 comments