After consulting Olek in tutorial, I've come to the conclusion that indeed the issue in the below post had to do with lack of a base case from which to build. It could have defined a function with domain n <=0 of integers, but not of natural numbers n>=0.
No comments:
Post a Comment