←Prev ↑Up Next→

The Lean Language Reference

1.	Introduction
2.	Elaboration and Compilation
3.	The Lean Language
4.	Terms
5.	Monads and `do`-Notation
6.	IO
7.	Tactic Proofs
8.	The Simplifier
9.	Basic Types
10.	Standard Library
11.	Notations and Macros
12.	Output from Lean
13.	Elan
14.	Lake and Reservoir
	Index

12. Output from Lean

Source Code
Report Issues

12. Output from Lean

Planned Content

Unexpanders
Delaboration
Pretty printing
Parenthesizers

Tracked at issue #122