[categories] [index] [all (527)] [latest]

1. tokenize user input

   /userInput 128 string def
   (>) print flush
   (%lineedit) (r) file userInput readline
   pop % bool
   
   { token not{exit}if == } loop