Files
hello-world/g/gentzen.gentzen

6 lines
119 B
Plaintext

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