- title: Getting Started
  docs:
  - home
  - getting_started
  
- title: Optimizations
  docs:
  - ir
  - passes_and_policies

- title: System Designs
  docs:
  - compiler_design
  - runtime_design

- title: Contribute
  docs:
  - contribute

- title: Security
  docs:
  - security