Totality

Backlinks

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