Specification for the Petr programming language. 1. [Concepts](Concepts.md) 2. [Syntax and Grammar](syntax-and-grammar.md) 3. [Type System](type-system.md) 4. [Effects Tracking](effects-tracking.md) 5. Tooling 1. [Formatter](formatter.md) 2. [Language Server](language-server.md) 1. [Code Actions](Code_Actions.md) 2. [Hovers and Inlays](Hovers%20and%20Inlays.md) 6. Compiler Details 1. [[Error Reporting]] 7. Targets 1. [Web Assembly](web-assembly.md) 2.