PiSigma

This is a prototype of the sytem presented in this draft .

The syntactic differences are explained in the example program.

Edit your program: