Create gentzen.gentzen

2015-08-29 09:11:37 +01:00
parent 67c3fb7483
commit a54ceb303a
1 changed files with 5 additions and 0 deletions
--- a/g/gentzen.gentzen
+++ b/g/gentzen.gentzen
@@ -0,0 +1,5 @@
+<- "stdlib";
+<- "iolib";
+main : () / ($1(iosys) |- $2(++));
+main = [x,y] cut "Hello, World!" [z] outtext x z y;
+-> main;