GitHub_collection_hello-world/g/gentzen.gentzen

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