home *** CD-ROM | disk | FTP | other *** search
/ GEMini Atari / GEMini_Atari_CD-ROM_Walnut_Creek_December_1993.iso / files / language / lambdoc / lambda.hlp < prev    next >
Encoding:
Text File  |  1989-03-15  |  5.6 KB  |  96 lines
  1. pLAMBDA CALCULUS INTERPRETER:q
  2.  lc   : Lambda Calculus Mode      cl : Combinatory Logic Mode
  3.  conv { bc[+][-], ext[+][-] }        : Combinatory Abstraction Algorithm[s]
  4.  trace[+][-] { pp[+][-] }            : Trace display, pretty-print [on][off]
  5.  { do } ( <term> .. <term> )         : Evaluate <term[s]>
  6.  lib[+][-]                           : Default library [on][off]
  7.  open <file>, print+ <file>, print-  : Shell history to <file> [new][on][off]
  8.  def[][nf][rec] <name> = <term>      : Defining modes
  9.  put <file>, get <file>              : Current definitions to | from <file>
  10.  list, show <name>                   : Show current definition[s]
  11.  copy [rename] <name1> <name2>       : Define <name2> as <name1>
  12.  new, delete <name>                  : Forget user definition[s]
  13. pSYSTEM COMMANDS:q
  14.  talk[+][-]                          : Interactive mode, error report [on][off]
  15.  cat <file>, rm <file>               : View [= visit] <file>, delete <file>
  16.  read <command-file>                 : Execute commands from <command-file>
  17.  sh[+][-]                            : [De]activate the current shell [if any]
  18.  !, !!                          [SH] : Escapes to the current shell [if any]
  19.  pwd, ls                             : Show name, list contents of cwd
  20.  cd [mkdir][rmdir] <path>            : Change [make][remove] <path>-dir
  21.  mem, du, date                       : Free memory, disk usage, system time
  22.  ed {<options> <file>]}              : Call the system editor [\bin\ed.prg]
  23.  edit {<file>}                       : Call the built-in editor [edit]
  24.  exit                                : Quit the [MAIN] interpreter
  25.  
  26. pLOCAL COMMANDS [ATARI.ST MODE]:q
  27. Keyboard supervisor [single-key commands on tracing]:
  28.  SPACE                               : Stop [Set stepwise tracing]
  29.  s[S]                                : Wait [REPEATED: stepwise tracing]
  30.  p[P]                                : Toggle trace pretty-printer [on/off]
  31.  q[Q][ESC]                           : Abort current execution [Top level!]
  32.  !                                   : Abort and exit [Quit interpreter!]
  33.  <any other key>                     : Restore [continuous tracing]
  34. TOS-shell supervisor [line-commands]:
  35.  sound[+][-]                         : Set bell-sound [on][off]
  36.  cls, cursor[+][-]                   : Clear screen, cursor home [on][off]
  37.  black/white, graphics[+][-]         : Toggle background color, graphics mode
  38.  font <font-name>                    : Alternate font: \lib\<font-name>.fnt
  39.  TOS  [tos]  <prog-path/prog-name>   : Execute <prog-path/prog-name>.tos
  40.  EXEC [exec] <path/name> {<options>} : Execute <path/name>.prg <options>
  41.  TTP  [ttp]  <path/name> {<options>} : Execute <path/name>.ttp <options>
  42.  meta                                : Escape to the internal shell [META]
  43.  install, env                        : [META] Install, show dir-environment
  44.  sys                                 : [META] Change the current shell-type
  45.  shell, !!                           : [META] TOS-escapes to current shell
  46.  boot                                : [META] Re-boot LAMBDA internally
  47.  alter <new-options>                 : [META] Re-boot LAMBDA <new-options>
  48.  help                                : [META] On-line help: [META] commands
  50. p! META COMMAND SET:q
  51.  install, env              Install, display the current [META] dir-env
  52.  boot                      Boot [intern] <lambda>.ttp <old-options>
  53.  alter {<new-options>}     Boot [extern] <lambda>.ttp <new-options>
  54.  sys, home, path           Change of shell-[type][path] and [bin-]path
  55.  sh[+][-]                  [De]activate <%s> [= current shell]
  56.  !,  <[shell-]command>     SYS-exec <%s> [<-i>][<-c command>]
  57.  !!, shell, metashell      TOS-exec <%s> in [NULL][META]-env
  58.  ed  {<options> <file>}    TOS-exec %s\<ed.prg> <options> <file>
  59.  TOS  <program-path>       TOS-exec absolute-<program-path>.tos
  60.  tos  <program-name>       TOS-exec %s\<program-name>.tos
  61.  EXEC <path> {<options>}   TOS-exec absolute-<path>.prg with <options>
  62.  exec <name> {<options>}   TOS-exec %s\<name>.prg with <options>
  63.  TTP  <path> {<options>}   TOS-exec absolute-<path>.ttp with <options>
  64.  ttp  <name> {<options>}   TOS-exec %s\<name>.ttp with <options>
  65.  font <font-name>          Load alternate fonts: %s\<font-name>
  66.  cls, black/white          Clear screen, set [white][black] background
  67.  graphics[+][-]            Toggle graphics display mode [on][off]
  68.  sound[+][-], cursor[+][-] [De]activate bell-sound, cursor [on][off]
  69.  pwd, ls, du, date, mem    TOS-mapped shell commands [without args]
  70.  cd [mkdir][rmdir] <path>  TOS: change [make][remove] <path>-dir
  71.  quit, leave, exit         Exit to [immediate][remote] parent process
  72.  help, local               On-line [META] help, local [ATARI-TOS] help
  73.  
  74. pEDITor COMMANDSq    [See `The UNIX Programmer's Manual', ED(1)]:
  75.                    [Basic regular expression recognition.]
  77.  a(ppend),     c(hange),    d(elete),     E[e](dit), 
  78.  f(ile),       g(lobal),    i(nsert),     j(oin),
  79.  k(ey = mark), m(ove),      l(ist),       p(rint),
  80.  Q[q](uit),    r(ead),      s(ubstitute), u(ndo),
  81.  v(= global),  W[w](rite),  (.)= (= line number).
  83. pSYSTEM/SHELL COMMANDSq [available from the EDITor]:
  85.  ! (= escape to [SH]ell),   T (= system TIME),
  86.  M (= MEMORY available),    D (= DISK usage [of cwd]),
  87.  L (= LIST files [on cwd]), H (= this <HELP-page>),
  88.  V <v_file> (= VIEW <v_file>).
  90. pEDITor VIEW-MODEq [following a `V <v-file>' command]: 
  91.  
  92.  B[b](= [BACK] = rewind the visited file <v-file>),
  93.  Q[q](= QUIT viewing <v-file> without changing it),
  94.  E[e](= EDIT <v-file>: => W[w]RITE <v-file> to save).
  95.  
  96.