site_name: Snug

theme:
  name: readthedocs
  hljs_languages:
    - mipsasm

markdown_extensions:
  - admonition
  - toc:
      permalink: true
  - smarty

nav:
  - Introduction: index.md
  - The Snug frontend:
    - Syntax: frontend/syntax.md
  - The Snug backend:
    - Run time system: backend/rts.md
    - Registers: backend/registers.md