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
I/O and Processes
Handling Stdin/Stdout/Stderr Streams
Parsing Command Line Arguments
Environment Variables
Time Measurement of Process
Tasks and Concurrency
Miscellaneous IO
Parsing Command Line Arguments
Parsing Command Line Arguments
Simple Argument Parsing
Recursive Parsing for Options
←
How to Print to Stdout and Stderr
Parsing Command Line Arguments
→
Parsing Command Line Arguments
🔗
Contributors:
Anirudh Gupta
Parsing Command Line Arguments
Simple Argument Parsing
Recursive Parsing for Options
←
How to Print to Stdout and Stderr
Parsing Command Line Arguments
→
