mirror of
https://github.com/GrammaticalFramework/gf-core.git
synced 2026-04-15 15:59:32 -06:00
31 lines
577 B
Plaintext
31 lines
577 B
Plaintext
--# -path=.:prelude
|
|
|
|
concrete UnixEng of Unix = open Prelude in {
|
|
|
|
flags unlexer=textlit ; lexer=textlit ;
|
|
|
|
{-
|
|
lincat
|
|
Line ;
|
|
[Command] {1} ;
|
|
Command ;
|
|
File ;
|
|
-}
|
|
|
|
lin
|
|
Pipe = infixSS "then" ;
|
|
Comm c = c ;
|
|
|
|
WhatTime = ss ["what time is it"] ;
|
|
WhatDate = ss ["what date is it"] ;
|
|
WhereNow = ss ["where am I now"] ;
|
|
Remove = prefixSS "remove" ;
|
|
Copy x y = ss ("copy" ++ x.s ++ "to" ++ y.s) ;
|
|
Linecount = prefixSS ["how many lines has"] ;
|
|
Wordcount = prefixSS ["how many words has"] ;
|
|
|
|
Name x = x ;
|
|
It = ss "it" ;
|
|
|
|
}
|