Contents

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

Version data entries

7 entries across 7 versions & 1 rubygems

Version	Path
language_templates-0.1.5.2	bin/languages/g/gentzen.gentzen
language_templates-0.1.5.1	bin/languages/g/gentzen.gentzen
language_templates-0.1.5	bin/languages/g/gentzen.gentzen
language_templates-0.1.4	bin/languages/g/gentzen.gentzen
language_templates-0.1.3	bin/languages/g/gentzen.gentzen
language_templates-0.1.2	bin/languages/g/gentzen.gentzen
language_templates-0.1.1	bin/languages/g/gentzen.gentzen