如何获取当前工作目录
为了获取当前工作目录（cwd），我们可以使用 IO.currentDir API。
def getCurrentWorkingDirectory : IO Unit := do
let mut cwd ← IO.currentDir
IO.println s!"Current working directory: {cwd}"
为了获取当前工作目录（cwd），我们可以使用 IO.currentDir API。
def getCurrentWorkingDirectory : IO Unit := do
let mut cwd ← IO.currentDir
IO.println s!"Current working directory: {cwd}"