Lean 4 (Meta)programming Cookbook
Lean 4 (Meta)programming Cookbook
Table of Contents
What is Metaprogramming?
Working with the Infoview
Syntax and Macros
Working with Expressions
Elaboration: Extending Syntax
Tactics
Maintaining State
I/O and Processes
File System
Data Structures
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
Read and Set File Permissions
Handling JSONL File
Miscellaneous FileSystem Usages
Read and Set File Permissions
Setting File Permissions
Reading File Permissions
←
Deleting a file or Directory
Setting File Permissions
→
Read and Set File Permissions
🔗
Contributors:
Anirudh Gupta
Setting File Permissions
Reading File Permissions
←
Deleting a file or Directory
Setting File Permissions
→
