Viewing profile — vvv312
vvv312
HN member- Joined
- Mon, Jul 27, 2020, 12:03 PM UTC
- HN karma
- 2
- Public activity
- 1 items
- HN profile
- View on Hacker News ↗
About vvv312
No profile information was provided.
Recent public activity
-
comment
Comment #23964288
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 …