Lean 4 (Meta)programming Cookbook
Lean 4 (Meta)programming Cookbook
Table of Contents
What is Metaprogramming?
Syntax and Macros
Working with Expressions
Elaboration for Syntax
Tactics
File System
Data Structures
I/O and Processes
Maintaining state
Index
How to build a Recipe
Cookbook Contributors
File System
Reading from a file
Writing to a file
Creating directories
Listing Directory
Deleting a file or Directory
Running an external program
Handling JSONL File
Miscellaneous FileSystem Usages
Writing to a file
How to write to a file
How to append text to a file
←
Reading from a file
How to write to a file
→
Writing to a file
🔗
Contributors:
Anirudh Gupta
How to write to a file
How to append text to a file
←
Reading from a file
How to write to a file
→
