Y
HN Search
Hacker News Search
new
|
comments
|
top
|
jobs
vvv312
searching Neon…
1.
▲
2.
▲
3.
▲
4.
▲
5.
▲
6.
▲
8 ms
·
1.
▲
by
vvv312
6y ago
Proofs work in steps too. I can never tell what an index-juggling loop is doing, in whatever language (including Scheme). But when you follow the data type case by case, each step is simple and logical, easy to comprehend so the whole solut