Skip to main content
8 events
when toggle format what by license comment
Feb 14, 2021 at 15:59 comment added Rushi A senior CMU Prof makes a similar point: existentialtype.wordpress.com/2011/04/12/a-dead-dog and existentialtype.wordpress.com/2011/03/21/…
Nov 27, 2020 at 23:06 comment added Jon Guiton I have to ask how this is an answer to the question about teaching tree data structures in a high school.
Sep 28, 2020 at 4:31 comment added Rushi And thanks for reminding me that the beauty of Tex math works on this site — my answer changed accordingly. Seemingly irrelevant but actually germane to the point that recursion becomes easy to the extent that programming becomes math
Sep 27, 2020 at 17:38 comment added Anuradha spurious backquote fixed
Sep 27, 2020 at 17:36 history edited Anuradha CC BY-SA 4.0
deleted 1 character in body
Sep 27, 2020 at 17:32 comment added Rushi There seems to be a spurious backquote (‛) in your sum definition. And yes, @buffy suggestion toward structural induction is spot on. I meant to say that but we ended up somewheres...else
Sep 27, 2020 at 17:05 review First posts
Sep 27, 2020 at 20:00
Sep 27, 2020 at 17:02 history answered Anuradha CC BY-SA 4.0