sections:
  - title: "Compilation Pipeline"
    page: "/docs/spec/pipeline/"
    id: "pipeline"
  - title: "Mcode IR"
    page: "/docs/spec/mcode/"
    id: "mcode"
  - title: "Streamline Optimizer"
    page: "/docs/spec/streamline/"
    id: "streamline"
  - title: "Register VM"
    page: "/docs/spec/mach/"
    id: "mach"
  - title: "DEC64 Numbers"
    page: "/docs/spec/dec64/"
    id: "dec64"
  - title: "Value Representation"
    page: "/docs/spec/values/"
    id: "values"
  - title: "Object Types"
    page: "/docs/spec/objects/"
    id: "objects"
  - title: "Stone Memory"
    page: "/docs/spec/stone/"
    id: "stone"
  - title: "Garbage Collection"
    page: "/docs/spec/gc/"
    id: "gc"
  - title: "Kim Encoding"
    page: "/docs/kim/"
    id: "kim"
  - title: "Nota Format"
    page: "/docs/nota/"
    id: "nota"
  - title: "Wota Format"
    page: "/docs/wota/"
    id: "wota"
  - title: "C Runtime"
    page: "/docs/spec/c-runtime/"
    id: "c-runtime"
