From a54ceb303ac80747e23afd61e4931cfff5d1a6e2 Mon Sep 17 00:00:00 2001
From: George Gibson <code_cube@outlook.com>
Date: Sat, 29 Aug 2015 09:11:37 +0100
Subject: [PATCH] Create gentzen.gentzen

---
 g/gentzen.gentzen | 5 +++++
 1 file changed, 5 insertions(+)
 create mode 100644 g/gentzen.gentzen

diff --git a/g/gentzen.gentzen b/g/gentzen.gentzen
new file mode 100644
index 00000000..968d0e18
--- /dev/null
+++ 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;