Pie cannot use recursionΒΆ
Because Pie is guaranteed to be total, general recursion cannot be used. Some forms of simple recursion are allowed when they can be made to be total, however.
Because Pie is guaranteed to be total, general recursion cannot be used. Some forms of simple recursion are allowed when they can be made to be total, however.