3 lines
90 B
Text
3 lines
90 B
Text
def main : IO Unit :=
|
|
do contents ← IO.readTextFile "file.lean";
|
|
IO.println contents
|