pisigma-0.1.0.3: examples/Parser.pi

Nat : type;
Nat : type;
Nat : type;
Nat : type;
Nat : type;
Nat : type;
Nat : type;
Nat : type;
Nat : type;
Nat : type;
Nat : type;
Nat : type;
Nat : type;
Nat : type;
Nat : type;
Nat : type;
Nat : type;
Nat : type;
Nat : type;
Nat : type;
Nat : type;
Nat : type;
Nat : type;
Nat : type;
Nat : type;
Nat : type;
Nat : type;
Nat : type;
Nat : type;
Nat : type;
Nat : type;
Nat : type;
Nat : type;
Nat : type;
Nat : type;
Nat : type;
Nat : type;
Nat : type;
Nat : type;
Nat : type;
Nat : type;
Nat : type;
Nat : type;
Nat : type;
Nat : type;
Nat : type;
Nat : type;
Nat : type;
Nat : type;
Nat : type;
Nat : type;
Nat : type;
Nat : type;
Nat : type;
Nat : type;
Nat : type;
Nat : type;
Nat : type;
Nat : type;
Nat : type;
Nat : type;
Nat : type;
Nat : type;
Nat : type;
Nat : type;
Nat : type;
Nat : type;
Nat : type;
Nat : type;
Nat : type;
Nat : type;
Nat : type;
Nat : type;
Nat : type;
Nat : type;
Nat : type;
Nat : type;
Nat : type;
Nat : type;
Nat : type;
Nat : type;
Nat : type;
Nat : type;
Nat : type;
Nat : type;
Nat : type;
Nat : type;
Nat : type;
Nat : type;