pisigma-0.1.0.1: examples/Empty.pi

Empty : Type;
Empty = { };