diff --git a/docs/index.md b/docs/index.md index 0733858ab..482fd953a 100644 --- a/docs/index.md +++ b/docs/index.md @@ -7,11 +7,15 @@ - [Configuration](configuration.md) - [Running Psalm via command line](running_psalm.md) - [Running Psalm in your IDE](language_server.md) +- [Using Psalter](fixing_code.md) - [Supported Annotations](supported_annotations.md) - [Dealing with code issues](dealing_with_code_issues.md) + - [Issue types](issues.md) - [Typing in Psalm](typing_in_psalm.md) - [Plugins](plugins.md) - [Checking non-PHP files](checking_non_php_files.md) +- [How Psalm works](how_psalm_works.md) + - [Things that make developing Psalm complicated](what_makes_psalm_complicated.md) ## Introduction