Skip to content

A type has normal formΒΆ

In Pie a Type has a normal form just like any other expression would. A type is the same as another type if they share the same normal form.