I/O and Processes🔗

Contributors: Anirudh Gupta

This chapter covers various topics related to I/O and processes, threads and concurrency in Lean. Lean has great support for running tasks concurrently and provides a powerful API for handling I/O operations. We use the IO monad to perform our operations.

Handling Stdin/Stdout/Stderr Streams
Parsing Command Line Arguments
Environment Variables
Time Measurement of Process
Tasks and Concurrency
Miscellaneous IO