Report for "A Basis for Event-Driven Programming" based on Linear Temporal Type Theory

• The output PDF (direct download)
• The Coq implementation
• The TypeScript implementation

This project is built with PDFLaTeX. To build, one can connect it to Overleaf v2 and use the GitHub sync function. The PDF in the out folder must be uploaded manually.

This repo(rt) is based on / a hard fork of aerabi/msc-thesis.