The DRP paper

This repo tracks the revisions of DRP (Distributed Real-time Programs) whitepaper.

drp-whitepaper.pdf is exported from the latest revision of the whitepaper
src/ contains the source files for building the whitepaper
archive/ contains drafts in the past