Pie is guaranteed to be total

Pie is guaranteed to be total - that is, every expression can be evaluated to find a value, no exceptions.

Backlinks

• 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.