From e9e80fc389365e24d4300d7d5390c7d833a96c50 Mon Sep 17 00:00:00 2001 From: aarne Date: Wed, 25 Jun 2008 16:54:35 +0000 Subject: changed names of resource-1.3; added a note on homepage on release --- examples/unix/Unix.gf | 43 ------------------------------------------- 1 file changed, 43 deletions(-) delete mode 100644 examples/unix/Unix.gf (limited to 'examples/unix/Unix.gf') diff --git a/examples/unix/Unix.gf b/examples/unix/Unix.gf deleted file mode 100644 index ea5e2c2af..000000000 --- a/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