From e07d9dea344e79bfa90def98d965d422b288f600 Mon Sep 17 00:00:00 2001
From: aarne <aarne@cs.chalmers.se>
Date: Wed, 12 Apr 2006 21:14:32 +0000
Subject: unix command grammar started

---
 examples/unix/Unix.gf | 24 ++++++++++++++++++++++++
 1 file changed, 24 insertions(+)
 create mode 100644 examples/unix/Unix.gf

(limited to 'examples/unix/Unix.gf')

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 ;
+
+}
-- 
cgit v1.2.3