j
k
j a
j l
Bulat Ziganshin wrote:
1) all operations that returns filenames (getFileContents, anything more?) should return this ADT instead
Also, getArgs should return [ADT]. -- Ben
Back to the thread
Back to the list