tests/playground/file.lean - third_party/github.com/leanprover/lean4 - Git at Google


            
            def main : IO Unit :=

            
            do contents ← IO.readTextFile "file.lean";

            
               IO.println contents
	def main : IO Unit :=
	do contents ← IO.readTextFile "file.lean";
	IO.println contents