
  0 | module FS.System
  1 | 
  2 | import Data.Linear.ELift1
  3 | import System
  4 | import FS.Pull
  5 | 
  6 | %default total
  7 | 
  8 | export %inline
  9 | args : HasIO (f es) => Stream f es String
 10 | args = getArgs >>= emits
 11 |