LTTT Report

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

Build

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.

Credits

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