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
Handling Stdin/Stdout/Stderr Streams
How to Read from Stdin
How to Print to Stdout and Stderr
←
I/O and Processes
How to Read from Stdin
→
Handling Stdin/Stdout/Stderr Streams
🔗
Contributors:
Anirudh Gupta
How to Read from Stdin
How to Print to Stdout and Stderr
←
I/O and Processes
How to Read from Stdin
→
