An expression is normal if it has a constructor on the top with normal arguments

In Pie, an expression is normal if it has a constructor on the top and all constructor's arguments are also normal

Backlinks

• Constructor (Pie)
  • An expression is normal if it has a constructor on the top with normal arguments
• The normal form of an expression is determined by the type of the expression
  • Because the normal form of an expression has a constructor for a type on top, asking for the normal form of an expression without a Type is meaningless in Pie. It isn't possible to normalise anything without type information.