From 5c713d8f027a9b6be687ee3f7e917e8bd2115773 Mon Sep 17 00:00:00 2001 From: aarne Date: Fri, 27 Jun 2008 09:18:50 +0000 Subject: took away old-examples --- old-examples/unix/Unix.gf | 43 ------------------------------------------- 1 file changed, 43 deletions(-) delete mode 100644 old-examples/unix/Unix.gf (limited to 'old-examples/unix/Unix.gf') diff --git a/old-examples/unix/Unix.gf b/old-examples/unix/Unix.gf deleted file mode 100644 index ea5e2c2af..000000000 --- a/old-examples/unix/Unix.gf +++ /dev/null @@ -1,43 +0,0 @@ -abstract Unix = Char ** { - - cat - S ; -- whole command line - Command ; -- one command - File ; -- file name - Word ; -- string e.g. in grep - [Word] {1} ; -- - - fun - --- Catch-all: command dictated letter by letter. - - CommWords : [Word] -> Command ; - --- General command-line structure. - - Redirect : S -> File -> S ; -- cs >f - Pipe : S -> Command -> S ; -- cs | c - Comm : Command -> S ; -- c - ---- This would be cool, but is it supported by speech recognition? ---- CommOpt : (c : Command) -> [Option c] -> S ; -- c -o -k - - WhatTime : Command ; - WhatDate : Command ; - WhereNow : Command ; - Remove : File -> Command ; - Copy : File -> File -> Command ; - Linecount : File -> Command ; - Wordcount : File -> Command ; - Grep : Word -> File -> Command ; - Cat : File -> Command ; - - It : File ; -- no file name - contents received from pipe - - FileChars : [Chr] -> File ; - WordChars : [Chr] -> Word ; - - FileSuffix : Word -> File ; -- *suff - FilePrefix : Word -> File ; -- pref* - -} -- cgit v1.2.3