k-user AT lists.cs.illinois.edu

Subject: K-user mailing list

List archive

[K-user] file read/write

From: "Park, Daejun" <dpark69 AT illinois.edu>
To: "k-user AT cs.uiuc.edu" <k-user AT cs.uiuc.edu>
Subject: [K-user] file read/write
Date: Fri, 1 Nov 2013 17:35:42 +0000
Accept-language: en-US
List-archive: <http://lists.cs.uiuc.edu/pipermail/k-user/>
List-id: <k-user.cs.uiuc.edu>

Hi all,

Is there an easy way to read/write a file in K?
While dealing with stdin/stdout is very simple, how can I do such a thing for
a file?
I'd appreciate it if you give a pointer to an example.

Thanks,
Daejun

[K-user] file read/write, Park, Daejun, 11/01/2013
- Re: [K-user] file read/write, Moore, Brandon Michael, 11/01/2013
  - Re: [K-user] file read/write, Park, Daejun, 11/01/2013
    - Re: [K-user] file read/write, Michael D. Adams, 11/01/2013
      - Re: [K-user] file read/write, Park, Daejun, 11/01/2013
        
        Re: [K-user] file read/write, Michael D. Adams, 11/08/2013
        
        Re: [K-user] file read/write, Park, Daejun, 11/08/2013
        
        Re: [K-user] file read/write, Michael D. Adams, 11/08/2013