ParentFull threadvertline3·One common one when learning recursion or lispy things is factorial with recursion? But it's also in proof as well. It may just be really simple or something so I'm not sure my example countsView on HN