#lang scribble/manual

@title[#:tag "getting-started" #:style 'toc]{Getting Started}



@local-table-of-contents[]

@include-section["how-to-paper.scrbl"]
@include-section["how-to.scrbl"]