1 files changed, 24 insertions, 0 deletions
diff --git a/examples/unix/Unix.gf b/examples/unix/Unix.gf
new file mode 100644
index 000000000..c1ddd742b
--- /dev/null
+++ b/examples/unix/Unix.gf
@@ -0,0 +1,24 @@
+abstract Unix = {
+
+  cat
+    S ;
+    Line ;
+    Command ;
+    File ;
+
+  fun
+    Pipe : Command -> S -> S ;
+    Comm : Command -> S ;
+
+    WhatTime   : Command ;
+    WhatDate   : Command ;
+    WhereNow   : Command ;
+    Remove : File -> Command ;
+    Copy   : File -> File -> Command ;
+    Linecount : File -> Command ;
+    Wordcount : File -> Command ;
+
+    Name : String -> File ;
+    It : File ;
+
+}