mirror of
https://github.com/leanprover/lean4.git
synced 2026-03-17 18:34:06 +00:00
11 lines
232 B
Lean4
11 lines
232 B
Lean4
def main (xs : List String) : IO Unit :=
|
|
do
|
|
b₁ ← IO.isDir xs.head;
|
|
b₂ ← IO.fileExists xs.head;
|
|
d₁ ← IO.appDir;
|
|
d₂ ← IO.realPath ".";
|
|
IO.println b₁;
|
|
IO.println b₂;
|
|
IO.println d₁;
|
|
IO.println d₂
|