toc:
- name: Overview
file: README.md
- name: Development
file: docs/development.md
- name: Configuration Reference
children:
- name: Rules
file: docs/rules.md
- name: Fixes
file: docs/fixes.md
- name: Axioms
file: docs/axioms.md
- name: API Reference