2013-04-23 00:55:07 +00:00
|
|
|
#lang scribble/manual
|
|
|
|
@require[racket/include]
|
|
|
|
@include{prelude.inc}
|
|
|
|
|
2013-04-26 20:32:41 +00:00
|
|
|
@title[#:tag "marketplace"]{Marketplace: A Functional Operating System}
|
2013-04-23 00:55:07 +00:00
|
|
|
|
|
|
|
@author[(author+email "Tony Garnock-Jones" "tonyg@ccs.neu.edu")]
|
|
|
|
|
|
|
|
@defmodulelang[marketplace]
|
|
|
|
|
2013-04-30 18:55:00 +00:00
|
|
|
This manual TODO (overview & motivation)
|
2013-04-23 00:55:07 +00:00
|
|
|
|
|
|
|
@local-table-of-contents[]
|
|
|
|
|
2013-04-25 21:12:17 +00:00
|
|
|
@include-section["concepts.scrbl"]
|
|
|
|
@include-section["highlevel.scrbl"]
|
|
|
|
@include-section["lowlevel.scrbl"]
|
|
|
|
@include-section["drivers.scrbl"]
|
|
|
|
@include-section["writing-drivers.scrbl"]
|
|
|
|
@include-section["management-and-monitoring.scrbl"]
|
|
|
|
@include-section["examples.scrbl"]
|