gentzen.gentzen

<- "stdlib";
<- "iolib";
main : () / ($1(iosys) |- $2(++));
main = [x,y] cut "Hello World" [z] outtext x z y;
-> main;