How to get the current working directory
In order to get the current working directory(cwd), we can use the IO.currentDir API.
def getCurrentWorkingDirectory : IO Unit := do
let mut cwd ← IO.currentDir
IO.println s!"Current working directory: {cwd}"