#lang scribble/manual
@(require
   "defs.rkt")

@title[#:style '(toc)]{Standard Library}
Cur has a small standard library, primary for demonstration purposes.

@local-table-of-contents[]

@include-section{stdlib/tactics.scrbl}
@include-section{stdlib/sugar.scrbl}