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