This Text file is old! In a 🏛️Museum, an unsorted archive of (user-)pages. (Saved from Geocities in Oct-2009. The archival story: oocities.org)
--------------------------------------- (To 🚫report any bad content: archivehelp @ gmail.com)
>


; awk1.scm - 
;Heres an example that reads lines from port p and prints the line number
;and line of every line containing the string Church-Rosser:

(require-library "awk.ss")
(current-input-port (open-input-file "adieu10.txt"))
(current-output-port (open-output-file "adieu_de_sucy_2.txt"))

(awk (read-line) (ln) lineno ()
   ("de Sucy" (display (format "~a: ~s~%" lineno ln))))




Text file Source (historic): geocities.com/soho/square/3472

geocities.com/soho/square
geocities.com/soho

(to report bad content: archivehelp @ gmail)