“How would you prove something like this? Well, you would…” — The Pragmatic Engineer at 55:33
“How would you prove something like this? Well, you would have a function that concatenates two lists. And then you would probably do a proof by induction over one of the lists that shows that, okay, well, if you have one list of length i and another list of length zero, well, then the sum of the two is i.”
0:00
1:25:00