Checking if a path is absolute or relative
def checkAbsolutePath (path₁ path₂: System.FilePath)
: IO Unit := do
if path₁.isAbsolute then
IO.println s!"{path₁} is an absolute path"
else
IO.println s!"{path₁} is not an absolute path"
if path₂.isRelative then
IO.println s!"{path₂} is a relative path"
else
IO.println s!"{path₂} is not a relative path"